Am 25.10.2015 um 10:10 schrieb Thibault Kruse:
On Wed, Oct 21, 2015 at 8:20 AM, Pascal Schumacher
<[email protected]> wrote:
I use git fetch https://github.com/<contributor>/incubator-groovy.git
<pull-request-branch> git cherry-pick <commit(s) of the pull request>
git commit -a --amend --> to add "(closes #<pull-request-number>) at
the end of the title"
This looks rather clumsy to me. In cas you did not know:
There is the possibility to configure your local git repository to
fetch all PRs as well:
https://gist.github.com/piscisaureus/3342247
That way a simple git fetch will get you branches named like "pr/107".
I suspected that something like that is possible, but did not know how
to actually do it. Thanks! :)
