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.
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)
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 main2026-06-03 11:40:15 +00:00
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
Removes
tools/seed-gitea.sh+tools/README.md, which slipped ontomainvia an earlier chore commit. Per the agreed approach, Gitea is managed with theteaCLI — no bespoke scripts kept in the repo. The seeded backlog already exists in Gitea.🤖 Generated with Claude Code