[sage-devel] Re: reset a commit in trac

2016-05-21 Thread jhonrubia6
thank you Volker. I think it did go ok.

El sábado, 21 de mayo de 2016, 20:32:19 (UTC+2), Volker Braun escribió:
>
> 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.


[sage-devel] Re: reset a commit in trac

2016-05-21 Thread Volker Braun
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.