Andrew's git / gitweb.git / diff
?
Merge branch 'ar/request-pull-phrasofix'
authorJunio C Hamano <gitster@pobox.com>
Thu, 5 Oct 2017 04:48:21 +0000 (13:48 +0900)
committerJunio C Hamano <gitster@pobox.com>
Thu, 5 Oct 2017 04:48:21 +0000 (13:48 +0900)
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

Trivial merge