Merge branch 'jn/maint-request-pull' into jn/request-pull

diff --combined git-request-pull.sh
index 8fd15f6df4926a89812437e04735bd924ee7088b,b0a03111cc64e1cb724a58e897a8727888bbc591..74238b031370a02d8456aeee9003977f001bd9c7
--- 1/git-request-pull.sh
--- 2/git-request-pull.sh
+++ b/git-request-pull.sh
@@@ -8,6 -8,7 +8,7 @@@ USAGE='<start> <url> [<end>]
  LONG_USAGE='Summarizes the changes between two commits to the standard output,
  and includes the given URL in the generated summary.'
  SUBDIRECTORY_OK='Yes'
+ OPTIONS_KEEPDASHDASH=
  OPTIONS_SPEC='git request-pull [options] start url [end]
  --
  p    show patch text as well
@@@ -65,11 -66,11 +66,11 @@@ if [ -z "$branch" ]; the
        status=1
  fi
  
 -echo "The following changes since commit $baserev:"
 -git shortlog --max-count=1 $baserev | sed -e 's/^\(.\)/  \1/'
 +git show -s --format='The following changes since commit %H:
  
 -echo "are available in the git repository at:"
 -echo
 +  %s (%ci)
 +
 +are available in the git repository at:' $baserev
  echo "  $url $branch"
  echo