[edk2-devel] failed Pr

[Ard Biesheuvel]

On Mon, 29 May 2023 at 18:45, Michael D Kinney
<michael.d.kinney at intel.com> wrote:
>
> Hi Sean,
>
>
>
> I see the “rerun” button on the “checks” page of GitHub from my login.
>
>
>
> We have a mix of both Azure Pipelines and GitHub Actions today, so I think it is important to see the “rerun” from GitHub view for Maintainers.
>

Yes, that would be lovely.

>
>
> This github page describes the feature, but not the permissions required.
>
>
>
> https://docs.github.com/en/actions/managing-workflow-runs/re-running-workflows-and-jobs
>
>
>
> We currently have EDK II Maintainer Team set to “Triage Role” permissions.  From the table below, only “Write” and above are allowed to re-run.
>
>
>
> https://docs.github.com/en/organizations/managing-user-access-to-your-organizations-repositories/repository-roles-for-an-organization#permissions-for-each-role
>
>
>
> “Write” permissions add a lot of options, so I think we should discuss tradeoffs in the next Tools/CI meeting.
>
>
>
> One option is to add a bot based on a new label to request failed jobs to be re-run.  The bot can use a token with permissions to re-run.
>

This would work for me - as long as I don't have to make changes to
the branch, I'm happy with whatever we come up with.


-=-=-=-=-=-=-=-=-=-=-=-
Groups.io Links: You receive all messages sent to this group.
View/Reply Online (#105451): https://edk2.groups.io/g/devel/message/105451
Mute This Topic: https://groups.io/mt/99199003/1813853
Group Owner: devel+owner at edk2.groups.io
Unsubscribe: https://edk2.groups.io/g/devel/unsub [edk2-devel-archive at redhat.com]
-=-=-=-=-=-=-=-=-=-=-=-