Am 19.05.2013 18:56, schrieb Ralf Thielow:
2013/5/16 Holger Hellmuth (IKS) <hellm...@ira.uka.de>:


[...]
+    reset = neu setzen (maybe "umsetzen"?)


"zur├╝cksetzen"


"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 majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to