2016-02-29 15:28 GMT+01:00 Milan Crha <[email protected]>: > 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: https://github.com/GNOME/evolution-data-server/pull/3 => https://github.com/GNOME/evolution-data-server/pull/3.patch -- Frederic Crozat _______________________________________________ desktop-devel-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/desktop-devel-list
