[gambit-list] Git mirror