in hg to delete a bookmark hg tag --remove <bookmark name>
in git instead its git tag -d <bookmark name> git push origin :refs/tags/<bookmark name> PS: github doesn't hold the new tag name yet. To propagate tags you have to issue git push origin --tags On Saturday, May 25, 2013 10:59:36 PM UTC+2, Massimo Di Pierro wrote: > > I re-tagged trunk. I will post 2.4.8 asap since I am not sure how to > remove a tag. > > On Saturday, 25 May 2013 12:51:51 UTC-5, LightDot wrote: >> >> On a more serious note, release tag in mercurial and git states R-2.7.4, >> should be R-2.4.7... Should this be fixed to prevent any future confusion? >> >> Regards, >> Ales >> >> >> On Friday, May 24, 2013 7:56:11 PM UTC+2, Massimo Di Pierro wrote: >>> >>> I posted web2py 2.4.7. Includes mostly bug fixes. >> >> -- --- You received this message because you are subscribed to the Google Groups "web2py-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.

