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

Merge pull request 'chore: gardener housekeeping' (#517) from chore/gardener-20260321-1807 into main

Browse source
This commit is contained in:
johba 2026-03-21 19:22:26 +01:00
commit 5d2c5abb0b
10 changed files with 15 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

2
lib/AGENTS.md
View file

@ -1,4 +1,4 @@
<!-- last-reviewed: 038581e555403586f4595f8a5f77d7dbb311779b -->
<!-- last-reviewed: 80a64cd3e4d2836bfab3c46230a780e3e233125d -->
# Shared Helpers (`lib/`)
All agents source `lib/env.sh` as their first action. Additional helpers are