My Various Git Projects / git.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 7caf4cf c3a7dd7)
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
The core git plumbing