git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: GitGitGadget on github.com/git/git?, was Re: [RFC/PATCH] point pull requesters to Git Git Gadget

From
Jeff King <peff@peff.net>
Date
Mar 15, 2019, 18:41 UTC
Message-ID
<20190315184103.GB4941@sigill.intra.peff.net>
In-Reply-To
<87va0k9k6f.fsf@evledraar.gmail.com>
On Fri, Mar 15, 2019 at 05:28:08PM +0100, Ævar Arnfjörð Bjarmason wrote:
Show 10 quoted lines
> FWIW I'd love to see it on git/git for discoverability. From the rest of
> your E-Mail it sounds like you're working on that. So just a +1.
> 
> If that doesn't work for whatever reason maybe we can amend git.git with
> this to point people to it:
> https://help.github.com/en/articles/creating-a-pull-request-template-for-your-repository
> 
> We have one in .github/PULL_REQUEST_TEMPLATE.md, maybe along with *.txt
> docs we should amend that, unless of course real GGG on git/git is
> imminent...

I think maybe you missed the patch that started this thread, which proposes exactly that. :)

It should point people in the right direction, but of course getting GGG directly on git/git means that they don't have to re-make their PR on a different repo (though I guess they'd see the template while they're making the PR, and IIRC it's no more difficult at that point than clicking the destination repo box at the top of the page?).

> I've also noticed that for 1/1 patches it sends a 0/1, I don't do that,
> and personally wouldn't want to (just add any comments below "---").
There was some discussion of that elsewhere recently:
  https://public-inbox.org/git/20190311202441.GB18263@sigill.intra.peff.net/
> But I'm really happy it's there & useful to people, just not tempted to
> use it myself because I have a workflow I use already, and from
> observing it in action I couldn't losslessly move 100% of my submissions
> to it.

That's where I'm at, too. I doubt I'd ever use it, because I really like my workflow. But if it is working for other people, especially people who might otherwise be turned off of contributing, that seems like a good thing (as long as the quality of submissions is in the same ballpark; I think it is, and improving the tooling should keep that moving in the right direction).

-Peff
Previous: Ævar Arnfjörð Bjarmason
Message 28 of 28 in “point pull requesters to Git Git Gadget”
  1. point pull requesters to Git Git GadgetJeff King, Mar 12, 2019
  2. Roberto TyleyMar 12, 2019
  3. Jeff KingMar 13, 2019
  4. Johannes SchindelinMar 13, 2019
  5. Junio C HamanoMar 13, 2019
  6. Jeff KingMar 13, 2019
  7. Jeff KingMar 13, 2019
  8. Johannes SchindelinMar 14, 2019
  9. Jeff KingMar 15, 2019
  10. Johannes SchindelinMar 15, 2019
  11. Jeff KingMar 15, 2019
  12. Junio C HamanoMar 18, 2019
  13. Jeff KingMar 18, 2019
  14. Thomas GummererMar 18, 2019
  15. Jeff KingMar 18, 2019
  16. Junio C HamanoMar 19, 2019
  17. Ævar Arnfjörð BjarmasonMar 18, 2019
  18. Johannes SchindelinMar 13, 2019
  19. Junio C HamanoMar 13, 2019
  20. Junio C HamanoMar 13, 2019
  21. Junio C HamanoMar 13, 2019
  22. Jeff KingMar 13, 2019
  23. GitGitGadget on github.com/git/git?, was Re: [RFC/PATCH] point pull requesters to Git Git GadgetJohannes Schindelin, Mar 14, 2019
  24. Duy NguyenMar 14, 2019
  25. Jeff KingMar 15, 2019
  26. Johannes SchindelinMar 15, 2019
  27. Ævar Arnfjörð BjarmasonMar 15, 2019
  28. Jeff KingMar 15, 2019

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.