Skip to content

Workflow name (from fork)#12124

Closed
roberth wants to merge 4 commits intoNixOS:masterfrom
roberth:workflow-name
Closed

Workflow name (from fork)#12124
roberth wants to merge 4 commits intoNixOS:masterfrom
roberth:workflow-name

Conversation

@roberth
Copy link
Member

@roberth roberth commented Dec 31, 2024

Motivation

Reduce maintenance overhead in github settings for this repo.

Context


Add 👍 to pull requests you find important.

The Nix maintainer team uses a GitHub project board to schedule and track reviews.

This lets us update "runs-on" without creating a mismatch with the
required checks that are configured for the repo in the github ui.
@roberth roberth changed the title Workflow name Workflow name (from fork) Dec 31, 2024
@mergify mergify bot mentioned this pull request Dec 31, 2024
@roberth roberth closed this Dec 31, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants