johba/disinto
1
0
Fork 0
Code Issues 4 Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request 'chore: gardener housekeeping' (#654) from chore/gardener-20260325-0606 into main

Browse source
This commit is contained in:
johba 2026-03-25 08:04:07 +01:00
commit 47fd876813
11 changed files with 13 additions and 49 deletions
Download patch file Download diff file Expand all files Collapse all files

2
dev/AGENTS.md
View file

@ -1,4 +1,4 @@
<!-- last-reviewed: 6afc7f183ffd831edae1a6c3f9d92e2094f2b998 -->
<!-- last-reviewed: 0e5090bd513ea51862c027326c647bd2c781802e -->
# Dev Agent
**Role**: Implement issues autonomously — write code, push branches, address