polygene-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Paul Merlin <p...@nosphere.org>
Subject Re: Pull Request #3
Date Sun, 12 Jun 2016 17:34:43 GMT
Niclas Hedhman a écrit :
> We have a small PR on GitHub from George (thanks!).
>
> Does anybody know how to get that into the Apache repository? AFAIK, it is
> not set up with two way synchronization (not yet).
>
> Cheers
I merged George's PR. Thanks you George if you're reading this!

FTR, here are some hints about how to do it:
https://help.github.com/articles/checking-out-pull-requests-locally/

Here's what I did:

git remote add github https://github.com/apache/zest-java.git
git fetch github pull/3/head:merge-pr-3
git checkout merge-pr-3
git rebase develop
git checkout develop
git merge merge-pr-3
git branch -D merge-pr-3
git push origin develop

Now that github supports rebasing/squashing/merging pull-requests with a
single click I'm looking forward to the two way synchronization.



Mime
View raw message