Re: GitGitGadget on git/git, was Re: Should we auto-close PRs on git/git?

From: Jeff King <peff@peff.net>
Date: Nov 25, 2019, 14:30 UTC
Message-ID: <20191125143023.GF494@sigill.intra.peff.net>
In-Reply-To: <nycvar.QRO.7.76.6.1911221430510.31080@tvgsbejvaqbjf.bet>

On Fri, Nov 22, 2019 at 02:50:05PM +0100, Johannes Schindelin wrote:

Show 10 quoted lines

> > Wow, thanks for working on this! I don't know that I'd call my
> > javascript skills even rudimentary, but I did give it a look. The real
> > challenge to me is not the individual lines of code, but understanding
> > how the Azure Pipelines and GitHub App systems fit together. So I didn't
> > see anything wrong, but I also know very little about those systems.
> 
> I actually spent some quality time with the wiki in the past days to
> remedy that. You can adore the result in all its beauty here:
> 
> https://github.com/gitgitgadget/gitgitgadget/wiki/GitGitGadget's-Azure-Function-and-Azure-Pipelines

Thanks, this was very informative. I have a feeling that some of this could be done via the new Actions stuff that GitHub has been shipping, but I have no idea if it would make any of it easier (and certainly I'm not advocating dropping a working system to chase a new shiny toy).

> All I need is to install the app:
> [...]
> ... which I just did.

Very cool. :)

-Peff