Merge branch 'jk/promote-ggg'
authorJunio C Hamano <gitster@pobox.com>
Tue, 9 Apr 2019 17:14:25 +0000 (02:14 +0900)
committerJunio C Hamano <gitster@pobox.com>
Tue, 9 Apr 2019 17:14:25 +0000 (02:14 +0900)
commit2d3372883f133ef64d3eb678e8e6bfc6ffc6169a
treeb02d49aff2752146d8a849664a18f0fd59a127fa
parent7caf4cfb81d3e728f0b340e09faa13745b903b68
parentc3a7dd70c4affe376b2d1ecc1a1a38f1aca0c52d
Merge branch 'jk/promote-ggg'

Suggest GitGitGadget instead of submitGit as a way to submit
patches based on GitHub PR to us.

* jk/promote-ggg:
  point pull requesters to GitGitGadget