git gud: v1.2.0: Intro to Git

When I originally started git gud I had no idea how many people would play it and have little to no experience. So I've added a new, short, introduction to Git called " Intro to Git " that can be played in both the full…