Assuming that you have the branch checked out: git reset --hard HEAD~ # go back one commit git trac push --force # if you use the git-trac script
On Saturday, May 21, 2016 at 8:04:04 PM UTC+2, jhonrubia6 wrote: > > Is there a way to reset the last (erroneous) commit in trac ticket 20636? > I forgot to checkout the correct branch before doing the changes and I > committed and pushed a commit that does not belong to this ticket. I posted > a comment, but I do not know how to revert the situation if possible > Javier > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
