github-badges 1 How to Achieve the Pull Shark and Pair Extraordinaire Badge on GitHub with Ease May 4, 2025