Re: Merging github pull requests

2016-07-31 Thread Remko Popma
Thanks guys! Sent from my iPhone > On 2016/07/31, at 2:01, Matt Sicker wrote: > > On the initial pull request, the sent email has the git commands to pull it > Ito your own git repo. You can also just turn it into a patch file like Gary > mentioned, too. > > On Saturday, 30 July 2016, Gary G

Re: Merging github pull requests

2016-07-30 Thread Matt Sicker
On the initial pull request, the sent email has the git commands to pull it Ito your own git repo. You can also just turn it into a patch file like Gary mentioned, too. On Saturday, 30 July 2016, Gary Gregory wrote: > Try adding ".patch" or ".diff" to the github URL > > On Jul 30, 2016 4:50 AM,

Re: Merging github pull requests

2016-07-30 Thread Gary Gregory
Try adding ".patch" or ".diff" to the github URL On Jul 30, 2016 4:50 AM, "Remko Popma" wrote: > Does anyone have experience merging Github pull requests into Log4j2? > The pull requests are based on the github.com mirror of the git.apache.org > repository so a lot of the instructions don't make