learning git and writing about git for collaborative mathematics