diff options
author | René Scharfe <l.s.r@web.de> | 2013-09-08 17:21:44 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-09-08 11:39:30 -0700 |
commit | b07f7296080b20f5cc2069ce2761cacdd79b3432 (patch) | |
tree | bc65127d4958795f014f4319e2e6d034efd58477 /test-date.c | |
parent | add: trivial style cleanup (diff) | |
download | tgif-b07f7296080b20f5cc2069ce2761cacdd79b3432.tar.xz |
pull: use $curr_branch_short more
One of the first things git-pull.sh does is setting $curr_branch to
the target of HEAD and $curr_branch_short to the same but with the
leading "refs/heads/" removed. Simplify the code by using
$curr_branch_short instead of setting $curr_branch to the same
shortened value.
The only other use of $curr_branch in that function doesn't have to
be replaced with $curr_branch_short because it just checks if the
string is empty. That property is the same with or without the prefix
unless HEAD points to "refs/heads/" alone, which is invalid.
Noticed-by: Felipe Contreras <felipe.contreras@gmail.com>
Signed-off-by: Rene Scharfe <l.s.r@web.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'test-date.c')
0 files changed, 0 insertions, 0 deletions