It would be lovely to have the ability to configure the GitHub integration to do stuff like, say, only count stars on a main repo instead of stars on every single repo in the org,