Open
Description
BRanching is key to a "proper" git workflow.
But I've purposesly left it out of the homework submission workflow for teh first class -- jsu ttoo much to learn all at once.
But maybe after a few weeks, when students have gotten used to git / gitHub a bit, we should introduce branching.
WE do have some students wanting a way to submit particular files for review, rather than everything they have changed since the last merge. Which, of course, is what branching is about :-)
I suppose we could make it optional...