Execute qualquer Skill no Manus
com um clique

Execute qualquer Skill no Manus com um clique

Começar

remove-repository

Estrelas4

Forks0

Atualizado10 de abril de 2026 às 05:33

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

Instalação

Instalar com Codex ou Claude Copie este prompt, cole no Codex, Claude ou outro assistente e deixe que ele revise a página da skill e instale para você.

Executar no Manus

Fonte

raffertyuy

raffertyuy/repo-of-repos

Abrir repositório GitHub Ver repositórios do creator

Download

Executar no Manus

Ocupações relacionadasSOC

Baseado na classificação ocupacional SOC

Desenvolvedores de softwareInformática e Matemática·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

Mais deste repositório

mesmo repositório

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