Re: [PATCH 2/3] ci: avoid bare "gcc" for osx-gcc job

Jeff King [off-list ref] writes:

... be a pain in practice, though, because now the CI results aren't quite
deterministic. So if commit X introduces a bug in some combination, we
might not find out until later, and seeing that X passed all tests
doesn't absolve it of responsibility anymore.

Right.  A poor idea retracted.