pagure

#3880 Don't try to mirror pull-request
Closed: Invalid Opened by pingou.

Closed: Invalid
Reopen Issue

When mirroring a repo to another location we go through all the refs and try to push them, we should skip all the refs/pull/<id>/head once since I don't think there will ever be a host that will support pushing to these refs (it might even just be blocked by git itself).

Since we're working on the repository directly and since we're using --mirror we can't quite exclude some refs from the push (which makes sense).

I guess this makes this ticket (which is itself more cosmetic than critical) invalid, closing as such.

Metadata Update from @pingou:
- Issue close_status updated to: Invalid
- Issue status updated to: Closed (was: Open)
Metadata
None

RFE

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