[gambit-list] Git procedures for Gambit