Re: [RFC/PATCH] point pull requesters to Git Git Gadget

From: Jeff King <peff@peff.net>
Date: Mar 15, 2019, 18:43 UTC
Message-ID: <20190315184308.GC4941@sigill.intra.peff.net>
In-Reply-To: <nycvar.QRO.7.76.6.1903151427460.41@tvgsbejvaqbjf.bet>

On Fri, Mar 15, 2019 at 02:42:42PM +0100, Johannes Schindelin wrote:

Show 13 quoted lines

> Another thing that I always dreamed of having: GitGitGadget could
> automatically warn about commit messages that are incomplete, that
> disagree with our preferred format, that contain typos or offensive
> language.
> 
> Likewise, I had this idea that once we had some robust Clang format
> definition, GitGitGadget could verify that the patches conform to what we
> want, and automatically generate fixed branches if not.
> 
> Basically, all the automation I can get, to relieve humans from tasks that
> machines can do.
> 
> Children can have dreams, can't they ;-)

I like all of those dreams. :)

I think the "checks" could all just be another form of CI. I think there may be some tricks with automatic rewriting, but it might be possible to do it in the form of GitHub "suggestions", which a human could then click "OK" to a bunch of them. I guess it would be overwhelming if you really diverged style-wise and the diff is large.

I don't think GitHub has any support for changing commit messages, though, short of your tool force-pushing.

-Peff