Re: Pull request template for github mirror


On 29 February 2016 at 14:44, Frederic Crozat <fred crozat net> wrote:
2016-02-29 15:28 GMT+01:00 Milan Crha <mcrha redhat com>:

As I work with raw patches usually (I just got use to it after all the
years) the github web UI is very confusing for me and I didn't find a
way to convert the pull request into the patch. I asked a co-worker
whom has a github account for a help and he also didn't find it, but he
knew a trick and told me about it - it didn't involve any click-able
way on the github pages to get to the patch, sadly. Maybe my workflow
is just too different from that supported by the github, or vice versa.

Once you have the url of the pull request, just add ".patch" to it and
you'll get a properly formatted patch.

For instance, on one of the pending pull request on e-d-s:


All pull requests on GitHub live on their own branch in a separate ref:

  $ git pull github-mirror pull/${PR_ID}/head:pr-${PR_ID}
  $ git checkout pr-${PR_ID}

From then on, you can push/merge/pull/rebase as usual.


[ ] ebassi [ gmail com]

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]