Mirrored GitHub Actions for CI (avoid github.com clones from runners)
Create a project to coordinate issues and pull requests.