]> git.ipfire.org Git - thirdparty/git.git/commitdiff
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