1
0
mirror of https://github.com/git/git.git synced 2024-10-01 13:01:23 +02:00

Merge branch 'ar/request-pull-phrasofix' into maint

Spell the name of our system as "Git" in the output from
request-pull script.

* ar/request-pull-phrasofix:
  request-pull: capitalise "Git" to make it a proper noun
This commit is contained in:
Junio C Hamano 2017-10-18 14:19:04 +09:00
commit d9f5ea42ff
2 changed files with 3 additions and 3 deletions

@ -128,7 +128,7 @@ git show -s --format='The following changes since commit %H:
%s (%ci)
are available in the git repository at:
are available in the Git repository at:
' $merge_base &&
echo " $url $pretty_remote" &&
git show -s --format='

@ -68,7 +68,7 @@ test_expect_success 'setup: two scripts for reading pull requests' '
cat <<-\EOT >read-request.sed &&
#!/bin/sed -nf
# Note that a request could ask for "tag $tagname"
/ in the git repository at:$/!d
/ in the Git repository at:$/!d
n
/^$/ n
s/ tag \([^ ]*\)$/ tag--\1/
@ -192,7 +192,7 @@ test_expect_success 'pull request format' '
SUBJECT (DATE)
are available in the git repository at:
are available in the Git repository at:
URL BRANCH