Updates to documentation on using Github