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!
