Re: [gambit-list] CI (continuous integration) and bootstrapping