DEVX-1: fix: allow release bot to push to protected master
Post-merge / detect-type (push) Successful in 14s
Post-merge / validate-commit-msg (push) Successful in 9s
Post-merge / vikunja (push) Successful in 15s
Post-merge / sync-wiki (push) Successful in 47s
Post-merge / configure-repo (push) Successful in 18s
Post-merge / release (push) Successful in 1m14s
Post-merge / badges (push) Successful in 38s

This commit was merged in pull request #10.
This commit is contained in:
2026-06-22 16:53:42 +00:00
parent 6297b50601
commit 0c378ed8e2
3 changed files with 17 additions and 1 deletions
+1
View File
@@ -221,6 +221,7 @@ jobs:
- name: Ensure branch protection and labels
env:
REPO_TOKEN: ${{ secrets.REPO_TOKEN }}
DEVX_PUSH_WHITELIST: "emil"
PYTHONPATH: src
run: python3 -m devx.tools.configure_repo --repo devx --owner oblachno-oss
- name: Notify on failure