Mirroring
If you need to mirror a repo, you can reference the examples GitHub lists. In general, you'll need to:
- Configure a post-receive hook on the source repo
- Have a CI build server or some other service listen for the hook notification
- Mirror the changes to the destination repo