Simple collaborative extension to git