[demosthenes2k8]

The Chop Shop is teaching the students to use Github for Windows this year. (In the past, we used Mercurial, but git is more widely adopted, among other reasons)

The way our team is doing it is modeled after the "github workflow" - there's one upstream repository (belonging to the team), and each student has their own fork that they're responsible for keeping up to date. All submissions are done via a pull request to the upstream - to ease learning git, we're not (really) talking about branches (yet), though if any of the students seem to need them, we'll cover them.