Learn more about these different git repos.
Other Git URLs
Currently, pull requests refer to a git repo and a branch and appear to "live-update" when the originating branch changes.
Generally, I find this to be an awesome feature! :D
However, it does seem to surprise some folks, who don't seem to realize that changing that branch is going to affect the PR they submitted. Particularly when they opt to use their master branch.
So I have a few suggestions that may or may not make sense, but I think they might reduce some confusion.
Any thoughts on this?
That it is a good idea, but won't be a top priority for me right now :)
By the way GitHub works the same way. They add a notice you can change the pull request.
<img alt="Snimek_z_2016-09-29_08-43-42.png" src="/pagure/issue/raw/files/6982dd72436bd7874db0d3b99c0a1a8a6fa6b31efa645aa57e0dfd8369338bcf-Snimek_z_2016-09-29_08-43-42.png" />
Metadata Update from @ryanlerch: - Issue set to the milestone: None (was: None)
The last update was 4 years ago, no further requests, updates or actionable tasks since then, I'm going to close this issue for now to reduce our backlog.
Metadata Update from @wombelix: - Issue close_status updated to: Won't Fix - Issue status updated to: Closed (was: Open)
Login to comment on this ticket.