diff options
| author | Miklos Vajna <vmiklos@frugalware.org> | 2008-12-03 14:26:51 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-12-03 14:27:17 -0800 |
| commit | 5a92d190211c5f1277ea76752882a5f1104488f8 (patch) | |
| tree | 06b0d275d2d5cd73354e1eacbb2beddbf54e19c6 | |
| parent | 2d17985782256d3505791a814b16e4e772fd341f (diff) | |
| download | git-5a92d190211c5f1277ea76752882a5f1104488f8.tar.gz git-5a92d190211c5f1277ea76752882a5f1104488f8.tar.xz | |
rebase: use git rev-parse -q
Signed-off-by: Miklos Vajna <vmiklos@frugalware.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| -rwxr-xr-x | git-rebase.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/git-rebase.sh b/git-rebase.sh index 023a6dc94..ea7720d3e 100755 --- a/git-rebase.sh +++ b/git-rebase.sh @@ -365,10 +365,10 @@ case "$#" in switch_to="$2" if git show-ref --verify --quiet -- "refs/heads/$2" && - branch=$(git rev-parse --verify "refs/heads/$2" 2>/dev/null) + branch=$(git rev-parse -q --verify "refs/heads/$2") then head_name="refs/heads/$2" - elif branch=$(git rev-parse --verify "$2" 2>/dev/null) + elif branch=$(git rev-parse -q --verify "$2") then head_name="detached HEAD" else |