On Tue, Nov 12, 2019 at 08:11:06PM +0100, Johannes Schindelin wrote: > > To that end, I wonder if we should add an Action to automatically > > close PRs on that repo. It looks like > > https://github.com/dessant/repo-lockdown would do the trick. We could > > close incoming PRs automatically with a kind, maybe more succinct or > > prescriptive version of the prefill text encouraging folks to open the > > exact same PR against gitgitgadget/git instead. > > I am rather certain that that would not be a good thing to do. > > There are some people who open git/git PRs solely for the PR builds, > others to facilitate code review, and yet others just because it is the > intuitively obvious way to contribute to Git. We talked a while ago about having GitGitGadget operate on git/git, rather than on a separate mirror. That would automatically help at least one class of PR-opener: people who want their patches to reach the list but didn't realize they should be using gitgitgadget/git. I don't remember what the technical blockers are for getting that set up, but it seems like a strictly nicer outcome than auto-closing their PR. -Peff
