According to Jim Meyering on 1/14/2010 6:25 AM: >> 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.
Ah, that makes more sense. >> 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. I went ahead and pushed the revised recommendation, leaving the commit attributed to you. Since your original version had not been pushed yet, you can just have to drop that commit from your local repository when rebasing. -- Don't work too hard, make some time for fun as well! Eric Blake [email protected]
signature.asc
Description: OpenPGP digital signature
