From 00b6f2064bef267a061c9108aaedd29aaaada870 Mon Sep 17 00:00:00 2001 From: TapTap Date: Mon, 20 Jul 2026 17:26:58 +0200 Subject: [PATCH 1/2] ci: only trigger push on main to avoid double CI runs --- .gitea/workflows/ci.yaml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.gitea/workflows/ci.yaml b/.gitea/workflows/ci.yaml index 090a7ad..82cd6af 100644 --- a/.gitea/workflows/ci.yaml +++ b/.gitea/workflows/ci.yaml @@ -1,6 +1,9 @@ name: CI -on: [push, pull_request] +on: + push: + branches: [main] + pull_request: jobs: lint: From e7634f6581dd0f824081cf3bfcc46cab65788323 Mon Sep 17 00:00:00 2001 From: TapTap Date: Mon, 20 Jul 2026 17:27:32 +0200 Subject: [PATCH 2/2] chore: load AGENTS.md as instructions and block direct pushes to main --- opencode.json | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/opencode.json b/opencode.json index 4efe427..1e98d5a 100644 --- a/opencode.json +++ b/opencode.json @@ -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" } } }