fedora-docs / websites

#8 Merged commits do not appear in default branch
Closed: complete by jflory7. Opened by jflory7.

Closed: complete
Reopen Issue

Summary

Merged Pull Requests with changes do not appear in default git branch

Background

I merged Pull Request #6 to master, but the commit is not showing up in Pagure. This will make it hard to collaborate on the docs and likely lead to merge conflicts.

Details

I suspect this is because this repo is mirrored to GitHub, but I'm not sure how that works.

@codeblock, @pingou, @ngompa, as our maintainer and/or Pagure experts, do you know why this might be happening, or what the correct workflow should be to add changes?

Outcome

New changes to the Fedora Websites documentation appear on Pagure, so docs.fp.o will rebuild with latest content updates

Metadata Update from @jflory7:
- Issue priority set to: needs review (was: awaiting triage)

This most likely means that the pull mirror service is stuck for some reason. @pingou is the only person who can fix that, as he's got backend access.

Also, note that mirroring means that the repo resets to whatever the source has, so anything you do will be blown away.

Thanks for the info @ngompa. I opened fedora-infrastructure#9834 to track this in the relevant place.

Metadata Update from @jflory7:
- Issue untagged with: help wanted
- Issue priority set to: waiting on external (was: needs review)
- Issue tagged with: blocked

As clarified in the Infrastructure team ticket, the mirroring was only coming from GitHub but not going from Pagure to GitHub. I turned off the repository mirroring feature so we can accept contributions from people who have already signed the FPCA through the Fedora Docs editing workflow.

Closing as complete.

Metadata Update from @jflory7:
- Issue close_status updated to: complete
- Issue status updated to: Closed (was: Open)

Metadata Update from @jflory7:
- Issue untagged with: blocked
- Issue assigned to jflory7
Metadata

type - doc ops

None
None
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.