Re: GitHub CI Jobs Failing During MacPorts Bootstrap

[Ryan Schmidt]

On Apr 27, 2021, at 09:37, Christopher Nielsen wrote:

> force-push a change to re-initiate the CI process.

Or close and reopen the PR using the GitHub web interface.