Due to the fact that pushing directly to master/main is prohibited in our repositories, adding branch protection rules which require
the execution of workflows/actions on the following event:
on:
push:
branches:
- main
will render PR's unmergeable (without administrative intervention e.g. deleting the specific branch protection rules).
For example see this PR.
Impact
The project never will be Github-Keeper compliant.
If it is complaint: PR's can't get merged
If it is manually fixed by adjusting the protection rules: The project won't be complaint
Root cause
Github-Keeper does not seem to take triggers of workflow/actions into account correctly.
Due to the fact that pushing directly to
master/main
is prohibited in our repositories, adding branch protection rules which require the execution ofworkflows/actions
on the following event:will render PR's unmergeable (without administrative intervention e.g. deleting the specific branch protection rules). For example see this PR.
Impact
The project never will be
Github-Keeper
compliant.Root cause
Github-Keeper does not seem to take triggers of
workflow/action
s into account correctly.