Local mirrors of GitHub Actions (ops host cannot reliably reach github.com)
Create a project to coordinate issues and pull requests.