hello-world Intro into github I'm trying out GitHub cos it seems cool. Edit It's now 2022 and I need to learn more about Github for my DPhil now.
