Re: [Tinycc-devel] Help: How to delete my commit completely by git?

[Thomas COUDRAY]

Instead of use git push --force (not recommended) It might be better
if you push a revert patch.

$ git revert 7a3f6d494  /* Win: Enable use "*.def + *.c" files as
library instead of *.a by "-l" optio */
$ git revert 642b6d0f5  /* Add the possibility to use noname functions
by ordinal */


2014-06-18 19:31 GMT+01:00 grischka <address@hidden>:
> I'd vote for the same result but to keep the history (i.e. push one commit
> to revert the whole series).

Thomas