Hi Peff, On Sat, 23 Sep 2023, Jeff King wrote: > On Fri, Sep 22, 2023 at 10:42:00AM +0000, Johannes Schindelin via GitGitGadget wrote: > > > +# By default, the builds are submitted to the Coverity project `git`. To override this, > > +# set the repository variable `COVERITY_PROJECT`. > > This may not matter all that much, because I don't expect most people to > set this up for their forks Except, of course, Git for Windows. And that has been the entire motivation for me to work on this here patch series in the first place, so it would be rather pointless if I could not override this in the git-for-windows/git fork. Of course, I could address this differently. I could add a commit on top and rebase that all the time. I'd just as well avoid that though. There is already too much stuff in the Git for Windows fork that I have to rebase so often. Based on your response, I was on my way to enhance the commit message accordingly, but then I saw this already being there: The Git for Windows project would like to use this workflow, too, though, and needs the builds to be submitted to the `git-for-windows` Coverity project. Would you have any suggestion how that could make the motivation and intention of this patch clearer? Ciao, Johannes
