disinto-admin/disinto
1
0
Fork 0
Code Issues 22 Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request 'chore: gardener housekeeping' (#767) from chore/gardener-20260415-0806 into main

Browse source
This commit is contained in:
dev-bot 2026-04-15 08:57:11 +00:00
commit 0db4c84818
10 changed files with 38 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

2
AGENTS.md
View file

@ -1,4 +1,4 @@
<!-- last-reviewed: cdb0408466d875cdd893c712e3b3f0d0b909d4ef -->
<!-- last-reviewed: 10c7a88416b14e849f80ad3fe7ea8e51d26177e8 -->
# Disinto — Agent Instructions
## What this repo is