2026-07-20 17:32:04 +02:00
2 changed files with 6 additions and 2 deletions
@@ -1,6 +1,9 @@
 name: CI

-on: [push, pull_request]
+on:
+  push:
+    branches: [main]
+  pull_request:

 jobs:
  lint:
@@ -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"
 		}
 	}
 }