Re: [PATCH] githubci: add a workflow for creating GitHub release notes

From: Matthias Aßhauer <mha1993@live.de>
Date: Nov 26, 2021, 17:37 UTC
Message-ID: <AM0PR04MB601972377B5CC2E24B6BA1DFA5639@AM0PR04MB6019.eurprd04.prod.outlook.com>
In-Reply-To: <nycvar.QRO.7.76.6.2111261455590.63@tvgsbejvaqbjf.bet>

On Fri, 26 Nov 2021, Johannes Schindelin wrote:

> Hi,
>

[...]

Show 9 quoted lines

> One thing I had not thought of earlier: do we really want to do this in
> every fork of git/git? I know for a fact that microsoft/git has a very
> different workflow upon pushing a tag.
>
> So maybe we need something like this, too:
>
>   create-gh-release:
> +    if: github.repository == 'git/git'
>     name: Create a new release or update an existing release in the GitHub repository

I think you're right. This would have unidesirable side effects if it ran in forks.

>
> Ciao,
> Dscho
>

Best regards

Matthias