Last night I made my second pull request on GitHub and got my first profile badge, “Pull Shark🦈”, which is awarded when two opened pull requests have been merged with the main branch🔀🎉. While I love the new badge on my profile (thanks, GitHub bots!) I wanted to play with the design for fun (I…