Open mandar1jn opened 9 months ago
I personally enjoy seeing them amongst the human contributors and with their own particular contribution profiles.
It's true that in this one case they revealed an achievement earlier but I think that's ok — they're not really secret given they're defined in this public repo.
Although bots are a big part of how astro runs smoothly, should they be included in the badges? There are currently 3 bots I could find that are listed on this site: astrobot-houston, github-actions[bot] and dependabot[bot].
github-actions[bot] actually managed to be the only one with the nifty badge. If not for this bot, this badge would still be undiscovered.