-
-
Notifications
You must be signed in to change notification settings - Fork 364
Open
Labels
Description
Describe the bug
The periodic update workflow, that runs each month, failed today to create a pull request because of branch naming rules' conventions.
To reproduce
Expected behavior
Relax naming rule conventions to allow the specified branch (by GitHub actions or the person with the PAT used for it).
At the same time, it would be nice to also allow branches starting with revert-
followed by a series of numbers corresponding to the PR's number, then followed by another dash. This is what the GitHub interface generates when using the "revert" feature on a merged PR. It is currently unusable for now.
Screenshots
System description
Main at ref 1527322