sorry, please help...

[Witold Karpeta]

I did push to devel branch while I didn't checked that I had some locally commited chenges... Do you know how can it be reversed in github?

Again, I'm really sorry for that...

Witek

[Jochen G.]

The safe way is to revert the changes by another commit by 'git revert
<which commit>'. These keeps both, adding and removing, in the repo history.

One can do it also the in a way to totally remove the commits by using
reset and push --force. Since so far nobody did a checkout on your
changes this would still be doable now.

http://stackoverflow.com/questions/6971717/github-how-to-revert-changes-to-previous-state

http://christoph.ruegg.name/blog/2010/5/5/git-howto-revert-a-commit-already-pushed-to-a-remote-reposit.html

Jochen

> --
> --
> GCD-Tech mailing list - gcd-...@googlegroups.com
> To unsubscribe send email to gcd-tech+u...@googlegroups.com
> For more options, visit this group at
> http://groups.google.com/group/gcd-tech
>
> ---
> You received this message because you are subscribed to the Google
> Groups "gcd-tech" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to gcd-tech+u...@googlegroups.com.
> For more options, visit https://groups.google.com/groups/opt_out.
>
>

[Witold Karpeta]

Thanks Jochen. After some reading of docs and some thinking I came to a conclusion that the safest way of doing it will be to remove all unnecessary code in my repo (which means all code from mycomics app) and doing a normal commit. I'll do it in the evening. The unnecessary code shouldn't affect anything in other apps anyway so it's pretty harmless.

And I need to be more careful. I'm sorry again, it all happened because I forgot to add 'mycomics' as the branch name to push command and it pushed all my changes from all branches... And my changes in devel came from the fact that before it was decided that I should work in separate branch I did some commits to my local devel and never pushed this.

Witek

2013/5/13 Jochen G. <gcd...@garcke.de>