Re: push-access

[Thomas Morley]

2013/8/27 Thomas Morley <address@hidden>:
> 2013/8/27 Graham Percival <address@hidden>:
>> On Tue, Aug 27, 2013 at 01:36:24PM +0200, Thomas Morley wrote:
>>> To be sure: am I right that it will succeed only _after_ Graham
>>> granted membership?
>>
>> Approved now.
>>
>> Cheers,
>> - Graham
>
> Thanks!
> Afaics, all works and I've push-access.
>
> Next step: I'll reread CG _how_ to push.
> :)
>
> Best,
>   Harm

Actually trying to push I followed CG and did

git checkout staging
git pull -r
git merge dev/handle-grace


Now an editor pops up with:

Merge branch 'dev/handle-grace' into staging

# Please enter a commit message to explain why this merge is necessary,
# especially if it merges an updated upstream into a topic branch.
#
# Lines starting with '#' will be ignored, and an empty message aborts
# the commit.


The patch already has a commit-message.
Should I write here something additional?


-Harm