GitHub: I guess that the expectation was that we would state that we would teach them to use repositories and versioning from scratch. Which we will, for sure.
Can we say it more explicitly? Maybe in the timetable?
ok. lets start with git/github the first morning. Here is what I think we should cover:
github fork of our project(s) (talk about how this can be used as a proxy for 'citations')
git clone from their fork
git remote
.gitignore and secrets
the git workflow (use git status along the way to demonstrate how it helps):
modify then git checkout --
modify then get add then git reset HEAD then git checkout --
modify then git add then git commit
git push
modify then git add then git commit, repeat once or twice, then git push (talk about ability to make changes to local repo even if they are off the network, and how this allows them to keep working on their files without fear of 'losing' changes)
use github to submit a push request to one of our projects (talk about how this facilitates sharing and collaboration)