I agree, but I tried to find the right microcopy balance between "human-friendly" VS "git oriented" commands.
I preferred to give more weight to the "human-friendly" microcopy:
For example, the command $ git undo merge is human-friendly command while the more git orientated command should be (I guess) $git merge --undo.
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
I agree, but I tried to find the right microcopy balance between "human-friendly" VS "git oriented" commands.
I preferred to give more weight to the "human-friendly" microcopy:
For example, the command
$ git undo merge
is human-friendly command while the more git orientated command should be (I guess)$git merge --undo
.