[gambit-list] More Git tips