القائمة
Find and remove stale entries from repos.yaml whose directories no longer exist on disk
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
استنادا إلى تصنيف SOC المهني
Create an implementation plan in _plans/ with embedded repo context and step-by-step task lists
Execute a plan from _plans/, implementing steps, checking off tasks, running tests, and documenting fixes
Clone/pull git repos, verify local folders, auto-register orphans, and regenerate repos.md
Clone a git repo or register a local folder into repos/ and update repos.md with its description
Iterate through all sub-repos in repos/ and stage/commit/push each one, then do the same for the master repo
Stage, commit, and push changes for the master repo only (excludes sub-repos in repos/)
| name | clean-repos |
| description | Find and remove stale entries from repos.yaml whose directories no longer exist on disk |
| user-invocable | true |
| origin | template |
Scan repos/repos.yaml for stale entries — entries whose corresponding repos/<name>/ directory no longer exists on disk — and remove them from the configuration.
Parse repos/repos.yaml — read the repos: list
Check each entry — for every entry, check if repos/<name>/ exists on disk
Collect stale entries — entries where the directory does NOT exist
Show the stale entries — display a table:
| Entry | Type | URL | Status |
|---|---|---|---|
<name> | git | <url> | Directory missing |
<name> | local | — | Directory missing |
Ask for confirmation — "Remove these N entries from the config? (yes/no)"
Remove stale entries from repos/repos.yaml — delete each stale entry from the repos: list
repos: []Remove stale entries from repos/repos.md — for each stale entry, delete its ## <name> section and all content up to the next ## heading or end of file
<!-- No repositories found. Clone repos into repos/ and run /pull-all-repos to populate this file. -->Update .gitignore — for each stale entry, if repos/<name>/ appears in .gitignore (whether git repo or gitignored local folder), remove the line. No need to ask — stale entries shouldn't leave gitignore debris.
Report a summary:
| Entry | Type | Action |
|---|---|---|
<name> | git | Removed from repos.yaml, repos.md, .gitignore |
<name> | local | Removed from repos.yaml, repos.md (and .gitignore if present) |
/pull-all-repos orphan detection