Re: [PATCH] maint: add missing "post-release push" step to release procedure

[Jim Meyering]

Eric Blake wrote:
> According to Jim Meyering on 1/14/2010 3:45 AM:
>> * README-release: Push the automated release and post-release
>> NEWS-updating commits.
>> Pádraig Brady reported that I'd pushed the tag without also
>> pushing the commit it referred to.
>
> Pushing a tag DOES push the commit it refers to, it just doesn't update
> the HEAD branch.

I misstated.  He actually reported that the usual
post-release NEWS update had not been pushed.

>> -* Push the new tag:
>> +* Push the NEWS-updating changes and the new tag:
>>
>> +    git push origin
>>      v=$(cat .prev-version)
>>      git push origin tag v$v
>
> This can also be done in one step with:
>
> v=$(cat .prev-version)
> git push origin master tag v$v

Good idea.  You're welcome to adjust.
Thanks!