Git/GitHub micro workshop

This is just intended to be a quick hands-on introduction. I'd like to keep the group small and informal, so that we could conceivably just sit around a table at my apartment, a local coffee shop, or something like that.