Merge branch 'lt/request-pull'
authorJunio C Hamano <gitster@pobox.com>
Fri, 21 Mar 2014 19:50:44 +0000 (21 12:50 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 21 Mar 2014 19:50:44 +0000 (21 12:50 -0700)
Discard the accumulated "heuristics" to guess from which branch the
result wants to be pulled from and make sure what the end user
specified is not second-guessed by "git request-pull", to avoid
mistakes.

* lt/request-pull:
  request-pull: documentation updates
  request-pull: resurrect "pretty refname" feature
  request-pull: test updates
  request-pull: pick up tag message as before
  request-pull: allow "local:remote" to specify names on both ends
  request-pull: more strictly match local/remote branches

1  2 
git-request-pull.sh

Simple merge