Re: [gambit-list] Bootstrapping from the Gambit github repo