pull: update unborn branch tip after index
authorJeff King <peff@peff.net>
Thu, 20 Jun 2013 22:36:31 +0000 (18:36 -0400)
committerJunio C Hamano <gitster@pobox.com>
Thu, 20 Jun 2013 22:51:25 +0000 (15:51 -0700)
commit9f48f2b...9ae8db8cdce3a8e2c9b6dc33b2a55ee1
tree7ea8188...2f7e636c241cb560cd946bc261e039cacopy hash to clipboard (tree)
parentb3b8ceb...8b7d75631a8638f1dc6ccdf7f1b53888copy hash to clipboard (diff)
git-pull.sh