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

chore: gardener housekeeping #430

Merged
gardener-bot merged 2 commits from chore/gardener-20260408-1802 into main 2026-04-08 18:18:13 +00:00
Conversation 4 Commits 2 Files changed 9 +10 -10

2 commits

Author SHA1 Message Date
Claude
93efc6e435 fix: correct migrate_ops_repo caller in lib/AGENTS.md
All checks were successful
ci/woodpecker/push/ci Pipeline was successful
Details
ci/woodpecker/pr/ci Pipeline was successful
Details
2026-04-08 18:13:08 +00:00
Claude
887bc7bbea chore: gardener housekeeping 2026-04-08
Some checks failed
ci/woodpecker/push/ci Pipeline was successful
Details
ci/woodpecker/pr/ci Pipeline failed
Details
2026-04-08 18:02:36 +00:00