groovy-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Paul King <>
Subject Re: [ANN] New committer: Shil Sinha
Date Sun, 25 Oct 2015 11:08:03 GMT
If I know I am taking all commits from a PR I tend to use (for PR#XXX):


which then gives me s corrected URL for a direct patch for that PR, and then

curl correctedURL | git am
git commit -a --amend --> to manually append "(closes #<pull-request-number>)"
git push

I still often forgot the amend - it would be good if there was an
alternative way to close at that point but Apache permissions aren't
set up that way It would also be good to script the above to reduce
the extra steps and avoid human error but I haven't got around to it

Cheers, Paul..

On Sun, Oct 25, 2015 at 7:10 PM, Thibault Kruse
<> wrote:
> On Wed, Oct 21, 2015 at 8:20 AM, Pascal Schumacher
> <> wrote:
>> Am 20.10.2015 um 22:41 schrieb Shil Sinha:
>>> As far as merging pull requests, I read through a few of the dev threads
>>> from when Groovy migrated to Apache, but couldn't find a definitive
>>> workflow. Is that documented anywhere? If not, I can write it as I get
>>> familiar.
>> I use
>> git fetch<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
>> 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:
> That way a simple git fetch will get you branches named like "pr/107".
> Possibly the apache hosted git repository could be configured to sync
> PR branches that way automatically.
> Also see
> for that.

View raw message