Merge branch 'fc/trivial'
commitc8ccfc9cdf3381525cce718c846bc62fd86767f7
authorJunio C Hamano <gitster@pobox.com>
Tue, 17 Sep 2013 18:42:34 +0000 (17 11:42 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 17 Sep 2013 18:42:34 +0000 (17 11:42 -0700)
tree6dc22b521f3af03855ee0e13f8599694aaee6e2e
parent984ac91e72578aa271daf79b6c44d34da2a8dc5d
parentb07f7296080b20f5cc2069ce2761cacdd79b3432
Merge branch 'fc/trivial'

* fc/trivial:
  pull: use $curr_branch_short more
  add: trivial style cleanup
  reset: trivial style cleanup
  branch: trivial style fix
  reset: trivial refactoring
builtin/add.c
builtin/reset.c
git-pull.sh