Andrew's git / gitweb.git / diff
?
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)
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

Trivial merge