Version control with git and how to contribute to open source projects with GitHub