a few notes on collaboration in Git