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
