Once [this](https://github.com/badges/shields/pull/7759) (or something like it) is merged, there's a good possibility that we don't need Badgr for anything anymore.
