Mirror a repository to the source repository
Open-source maintainer and external contributor: Mirror a repository to the source repository. Starts when: Repository created elsewhere. Steps: Register mirror; Set GitHub X-XTECH as source of truth; Sync; Verify commit hashes. Done when: The mirror shows matching hashes with a receipt.