This repository has no description
AGENTS.md: reach master through auto-merged PRs
author
lassulus
committer
lassulus
date
(Oct 13, 2026, 5:09 PM CEST)
commit
3c7a2179
3c7a2179371285c83af2c0116710a9105dc5917c
parent
42962721
429627210fe8dd86387bad21b347daa67a6d61be
+16
+16
AGENTS.md
+16
AGENTS.md
···
80
80
"push" for that specific change in the current conversation. This includes
81
81
all remotes (origin, HTTPS via gh credentials, pair) and all branches.
82
82
83
+
Changes reach master through pull requests, not direct pushes: a ruleset on
84
+
master requires a PR whose `ci` check (`.github/workflows/ci.yml`) passed.
85
+
When the user says "push", push the branch and let GitHub merge it once CI
86
+
is green:
87
+
88
+
```bash
89
+
git fetch github && git rebase github/master
90
+
git push github HEAD:<branch>
91
+
gh pr create --base master --head <branch> --fill
92
+
gh pr merge <branch> --auto --rebase --delete-branch
93
+
```
94
+
95
+
`--rebase` keeps the individual commits on master. Only the user (repo admin)
96
+
bypasses the ruleset. The update-pkgs bot merges its PRs through it as well,
97
+
after dispatching farm.yml and ci.yml on them.
98
+
83
99
## Machine Facts and Secrets via vars
84
100
85
101
- SSH public keys