Am 19.05.2013 18:56, schrieb Ralf Thielow:
2013/5/16 Holger Hellmuth (IKS) <>:

+    reset = neu setzen (maybe "umsetzen"?)


"reset" can be used with every existing commit. "zur├╝cksetzen"
would imply that it have to be a recent commit, no?

It implies that it sets to something that already existed or came before.
So it even fits in a case where you reset to an older commit and reset back to HEAD because the HEAD commit existed already.

If you still don't like it, I would prefer "umsetzen" to "neu setzen".
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to
More majordomo info at

Reply via email to