Discourse GitHub

I wonder if commits and PRs badges could be simplified because we are trying to keep away The paradox of choice :slight_smile:

Currently I just forked and deleted commit badges but of course, I loss myself from the commit badge (because I’m commiting directly) and fork is not equal to keeping always with the core.