enabled an automatic merge when the pipeline for bbd11f96 succeeds
aborted the automatic merge because source branch was updated
enabled an automatic merge when the pipeline for 71b98af2 succeeds
mentioned in commit fdc00b98
merged
This adds back the Mac CI on Github that's being dropped on Gitlab here.