Run any Skill in Manus with one click

Get Started

remove-repository

Stars4

Forks0

UpdatedApril 10, 2026 at 05:33

Remove a repo or local folder from repos/, updating repos.yaml, repos.md, and .gitignore

Installation

Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.

Run Skill in Manus

Source

raffertyuy

raffertyuy/repo-of-repos

View GitHub Repository View Creator Repositories

Download

Run Skill in Manus

Related occupationsSOC

Based on SOC occupation classification

Software DevelopersComputer and Mathematical Occupations·SOC 15-1252

SKILL.md

readonly

name	remove-repository
description	Remove a repo or local folder from repos/, updating repos.yaml, repos.md, and .gitignore
user-invocable	true
origin	template

Remove Repository

Remove a single repository or local source folder from the workspace. This is the inverse of /add-repository.

The user will provide a repo name. For example:

/remove-repository frontend — remove the frontend entry
/remove-repository backend-api — remove the backend-api entry

Behavior

Validate the entry exists in repos/repos.yaml by name
- If not found, report the error and list available entries so the user can pick the right one
- If found, proceed
Show what will happen — before taking any action, display:
- The entry being removed (name, type, URL if git)
- Whether the directory exists on disk
- Ask the user: delete the directory from disk too, or just remove the config entry?
Remove from repos/repos.yaml — delete the entry from the repos: list
- If this was the last entry, leave repos: []
Remove from repos/repos.md — delete the ## <name> section and all its content up to the next ## heading or end of file
- If no entries remain, restore the placeholder: 
Update .gitignore — if repos/<name>/ appears in .gitignore (whether git repo or gitignored local folder), remove the line. No need to ask — if the entry is being removed, its gitignore line should go too.
Optionally delete from disk — only if the user confirmed deletion in step 2:
- Run rm -rf repos/<name>/
- If the user said no, leave the directory in place (it becomes an orphan that /pull-all-repos would re-register)
Report what was done:

Removed <name> from repos.yaml, repos.md, and .gitignore. Directory on disk: deleted / kept.

Notes

Always ask before deleting from disk — never auto-delete
If the directory has uncommitted changes (for git repos), warn the user before they confirm deletion
This skill does NOT push or modify anything in the sub-repo's own git history

More from this repository

same repository

create-plan

raffertyuy/repo-of-repos

Create an implementation plan in _plans/ with embedded repo context and step-by-step task lists

2026-04-204

implement-plan

raffertyuy/repo-of-repos

Execute a plan from _plans/, implementing steps, checking off tasks, running tests, and documenting fixes

2026-04-204

pull-all-repos

raffertyuy/repo-of-repos

Clone/pull git repos, verify local folders, auto-register orphans, and regenerate repos.md

2026-04-154

add-repository

raffertyuy/repo-of-repos

Clone a git repo or register a local folder into repos/ and update repos.md with its description

2026-04-104

clean-repos

raffertyuy/repo-of-repos

Find and remove stale entries from repos.yaml whose directories no longer exist on disk

2026-04-104

commit-all-repos

raffertyuy/repo-of-repos

Iterate through all sub-repos in repos/ and stage/commit/push each one, then do the same for the master repo

2026-04-104

Remove Repository

Remove a single repository or local source folder from the workspace. This is the inverse of /add-repository.

The user will provide a repo name. For example:

/remove-repository frontend — remove the frontend entry

/remove-repository backend-api — remove the backend-api entry

Behavior

Validate the entry exists in repos/repos.yaml by name

If not found, report the error and list available entries so the user can pick the right one
If found, proceed

Show what will happen — before taking any action, display:

The entry being removed (name, type, URL if git)
Whether the directory exists on disk
Ask the user: delete the directory from disk too, or just remove the config entry?

Remove from repos/repos.yaml — delete the entry from the repos: list

If this was the last entry, leave repos: []

Remove from repos/repos.md — delete the ## <name> section and all its content up to the next ## heading or end of file

If no entries remain, restore the placeholder:

Update .gitignore — if repos/<name>/ appears in .gitignore (whether git repo or gitignored local folder), remove the line. No need to ask — if the entry is being removed, its gitignore line should go too.

Optionally delete from disk — only if the user confirmed deletion in step 2:

Run rm -rf repos/<name>/
If the user said no, leave the directory in place (it becomes an orphan that /pull-all-repos would re-register)

Report what was done:

Removed <name> from repos.yaml, repos.md, and .gitignore. Directory on disk: deleted / kept.

Notes

Always ask before deleting from disk — never auto-delete

If the directory has uncommitted changes (for git repos), warn the user before they confirm deletion

This skill does NOT push or modify anything in the sub-repo's own git history