diff options
author | Junio C Hamano <junkio@cox.net> | 2005-11-24 03:56:55 +0300 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2005-11-24 04:19:37 +0300 |
commit | b7884981f8f2a063f577df12c65e9af8b1a4f1b8 (patch) | |
tree | 10227b43e837a38d95d472a0b7c400749fbd46e9 /git-checkout.sh | |
parent | 30c7bb249e9b2038dd05271e055d347f84336576 (diff) |
git-revert: make --edit default.
Revert always should explain why, so make --edit the default,
unless stdin is not a terminal. If you really don't want to say
anything, you can say "git-revert --no-edit $commit", or if you
are really sick, you could also say "git-revert $commit </dev/null".
But please don't.
You can also say "git-cherry-pick --edit $commit". Not editting
the commit log message is the default for cherry-pick.
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'git-checkout.sh')
0 files changed, 0 insertions, 0 deletions