diff options
| author | Junio C Hamano <gitster@pobox.com> | 2019-04-10 02:14:25 +0900 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-04-10 02:14:25 +0900 |
| commit | 2d3372883f133ef64d3eb678e8e6bfc6ffc6169a (patch) | |
| tree | b02d49aff2752146d8a849664a18f0fd59a127fa /git-gui/lib/tools.tcl | |
| parent | 7caf4cfb81d3e728f0b340e09faa13745b903b68 (diff) | |
| parent | c3a7dd70c4affe376b2d1ecc1a1a38f1aca0c52d (diff) | |
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
Diffstat (limited to 'git-gui/lib/tools.tcl')
0 files changed, 0 insertions, 0 deletions