ci: fix double CI runs on PR pushes #75

Merged
TapTap merged 2 commits from fix/ci-double-trigger into main 2026-07-20 17:32:04 +02:00
Showing only changes of commit e7634f6581 - Show all commits
+2 -1
View File
@@ -1,10 +1,11 @@
{
"$schema": "https://opencode.ai/config.json",
"instructions": ["AGENTS.md"],
"permission": {
"bash": {
"*": "allow",
"git push origin main": "deny",
"git push main": "ask"
"git push main": "deny"
}
}
}