Keeping a Self-Hosted Git Server in Sync With GitHub
If you're running a self-hosted Git server (OneDev, in my case) alongside GitHub as the real source of truth — for CI you can't run on GitHub Actions, for example — its copy of a repo is not a live mirror by default. You have to build that