Quick intro to git and github for lab meetings