Change repository source for Pull Requests

Issue #5984 wontfix
Peter Ansell
created an issue

It would be nice to be able to change the repository source for Pull Requests.

I had a case where I was not able to change the repository source after pushing the branch from my fork to the main repository so that others could more easily collaborate on a long Pull Request.

Workaround is to create a new pull request, but that does not copy across comments from the original.

Comments (4)

  1. Zachary Davis

    Hi Peter,

    Thanks for the suggestion. We view a pull request as just that -- a request to pull changes from one branch or repository into another. Therefore changing the source of the pull request, especially after it had been merged, doesn't really make sense. Sorry for any inconvenience this causes.

    Cheers, Zach

  2. Peter Ansell reporter

    If you are being consistent about the policy you should also disable the capability to change the source and destination branches on a Pull Request when you are editing it.

    There is no real distinction (with Git at least) between a different branch in the same repository and the same branch in a different repository.

    Note that I never mentioned modifying the Pull Request after it has been merged.

  3. Russell Jackson

    Ran into this exact same scenario yesterday which wasted hours of time going back and forth when it turns out I was asking the pull-request author to do something impossible.

  4. Log in to comment