chore: remove bootstrap scripts from main #35

Merged
eho merged 1 commits from chore/remove-bootstrap-scripts into main 2026-06-03 11:40:15 +00:00
Owner

Removes tools/seed-gitea.sh + tools/README.md, which slipped onto main via an earlier chore commit. Per the agreed approach, Gitea is managed with the tea CLI — no bespoke scripts kept in the repo. The seeded backlog already exists in Gitea.

🤖 Generated with Claude Code

Removes `tools/seed-gitea.sh` + `tools/README.md`, which slipped onto `main` via an earlier chore commit. Per the agreed approach, Gitea is managed with the `tea` CLI — no bespoke scripts kept in the repo. The seeded backlog already exists in Gitea. 🤖 Generated with [Claude Code](https://claude.com/claude-code)
eho added 1 commit 2026-06-03 11:40:07 +00:00
The tools/seed-gitea.sh seeder + README reached main via an earlier chore
commit, but the agreed decision is to manage Gitea entirely with the tea
CLI and not keep bespoke scripts in the repo. Remove them; the backlog
they seeded already exists in Gitea.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
eho merged commit 7d67ecbde1 into main 2026-06-03 11:40:15 +00:00
Sign in to join this conversation.