How to use Git: An introduction