chore(gitea): remove old flat gitea skill, superseded by plugins/gitea #82
Reference in New Issue
Block a user
Delete Branch "chore/remove-old-gitea-skill"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Summary
plugins/bin/skills/gitea/skill is covered by the new deep-module skills inplugins/gitea/(ADR 0011), with gotchas preserved and in one case corrected (gitea-branchesfixes a scope claim aboutlist_branches).references/token-access.mdintoplugins/gitea/references/before deleting — it held empirical scope-test results for domains the new plugin deliberately didn't build out (Actions/CI, Wiki, Notifications, Packages, User/Org, Timetracking), and nothing else in the new plugin reproduced them.plugins/bin/skills/gitea/and fixed a stale cross-reference ingitea-issues/README.mdthat described the old skill as still present.Test plan
bash tests/run-tests.shpassesbash scripts/check-manifests.shpassesplugins/bin/skills/giteaoutside historical ADR text