An introduction to source code management via the git repository web-based hosting service known as GitHub