Re: [PATCH v2 0/5] ci: add support for macOS to GitLab CI

Phillip Wood [off-list ref] writes:

Hi Patrick
...
I've read though all the patches and they seem sensible to me though
I'm hardly a macOS expert. I did wonder about the use of pushd/popd in
the fourth patch as they are bashisms but that matches what we're
doing on Ubuntu already. It's nice to see the GitLab CI running on
macOS as well as Linux now.

Thanks, both.