-
-
Notifications
You must be signed in to change notification settings - Fork 18.1k
Closed
Labels
6.topic: continuous integrationAffects continuous integration (CI) in Nixpkgs, including Ofborg and GitHub ActionsAffects continuous integration (CI) in Nixpkgs, including Ofborg and GitHub Actions
Description
Happened in #175128 (comment)
The documentation says:
When the backport pull request is merged and you have the necessary privileges you can also replace the label 9.needs: port to stable with 8.has: port to stable on the original pull request.
It does not make sense to create a backport PR AFTER the backport pr is merged!
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
6.topic: continuous integrationAffects continuous integration (CI) in Nixpkgs, including Ofborg and GitHub ActionsAffects continuous integration (CI) in Nixpkgs, including Ofborg and GitHub Actions
