fedora-infrastructure

#9834 Pagure pull mirror service is stuck and not syncing to GitHub
Closed: Fixed by mohanboddu. Opened by jflory7.

Closed: Fixed
Reopen Issue

Describe what you would like us to do:

Investigate why Pagure pull mirror service is not working for fedora-docs/websites, which is mirrored to a GitHub repo on @codeblock's account. New commits merged to the Pagure repo do not appear in Pagure, nor do they appear on the GitHub mirror:

cc: @t0xic0der @ramyaparimi @copperi @ngompa @pingou

When do you need this to be done by? (YYYY/MM/DD)

Not urgent, but ASAP is good. Previous merged changes are not present in the Pagure repo and it would be nice to avoid accidentally overwriting the new commits merged if something gets pushed to GitHub and not Pagure.

Mirrors don't work this way. If you're doing pull mirroring, everything on GitHub will blow away what's in Pagure. If You're doing push mirroring from Pagure to GitHub, everything on Pagure will blow away what's on GitHub.

It looks like the website is set-up to mirror from GitHub, that means all activity should be done in GitHub (or you'll need to break the link to GitHub which you can do in the settings of the project).

So the merge PR that does not show makes sense, it was merged in pagure.io and at the next run of the mirroring task the code from github overwrote what was on pagure.io.

So you need to check where you want the default place to contribute to be, either it is pagure and you should break the mirroring from GitHub, or it is GitHub and you could turn off the PR feature on the pagure side to prevent people from opening PRs there (or you leave it open but you merge them manually and push the code to github).

we think this is working as it should be, reopen if there's more for us to do

Metadata Update from @mohanboddu:
- Issue close_status updated to: Fixed
- Issue status updated to: Closed (was: Open)
Metadata
None
None
None
None
Lowest
Static archive. pagure.io was sunset in 2026; this is a read-only snapshot.
Red Hat Logo

Fedora is sponsored by Red Hat. Learn more about the relationship between Red Hat and Fedora »

© Red Hat, Inc. and others.