원클릭으로
dart-branch-cleanup
DART Branch Cleanup: analyze or clean stale repository branches
Codex 또는 Claude로 설치 이 Prompt를 복사해 Codex, Claude 또는 다른 어시스턴트에 붙여 넣으면 Skill 페이지를 검토하고 설치를 진행할 수 있습니다.
메뉴
DART Branch Cleanup: analyze or clean stale repository branches
Codex 또는 Claude로 설치 이 Prompt를 복사해 Codex, Claude 또는 다른 어시스턴트에 붙여 넣으면 Skill 페이지를 검토하고 설치를 진행할 수 있습니다.
SOC 직업 분류 기준
DART Analyze: analyze repository evidence without editing
DART Architecture: the DART 7 multi-physics, multi-solver, multi-backend simulation pipeline and where each abstraction is owned
DART Audit Agent Compliance: audit and fix gaps when agents miss or cannot discover documented rules
DART Backport PR: backport a merged main PR to a release branch
DART Benchmark Packet: author or refresh a benchmark evidence packet for an owning plan
DART Build: CMake, pixi, dependencies, and build troubleshooting
| name | dart-branch-cleanup |
| description | DART Branch Cleanup: analyze or clean stale repository branches |
Use this skill in Codex to run the DART dart-branch-cleanup workflow. The editable
workflow source lives in .claude/commands/; this file is its generated adapter
in the shared .agents/skills/ catalog.
/dart-branch-cleanup <arguments>$dart-branch-cleanup <arguments>Treat the text after the skill name as $ARGUMENTS. When the workflow
references $1, $2, etc., map those to the positional values supplied by the
user.
Analyze or clean branches: $ARGUMENTS
@AGENTS.md @docs/onboarding/ci-cd.md @docs/onboarding/contributing.md
analyze: inspect only, no deletionsaction: prepare follow-up, or delete only after ownership/safety are clear
and the maintainer/user gives explicit approval for each local or remote
branch deletionDefault to analyze if the requested mode is ambiguous.
git fetch --all --no-prunegit remote prune origin --dry-run
If origin uses SSH and port 22 is unavailable, keep the check read-only
and use a temporary HTTPS rewrite instead of changing repository config:
git -c url.https://github.com/.insteadOf=git@github.com: \
fetch --all --no-prune
git -c url.https://github.com/.insteadOf=git@github.com: \
remote prune origin --dry-run
To confirm that a remote PR branch was deleted without updating refs, query
GitHub directly over HTTPS:
git ls-remote --heads https://github.com/dartsim/dart.git <BRANCH>
origin/main.git rev-list --left-right --count <TARGET>...<BRANCH>
git log --oneline <TARGET>..<BRANCH>
git diff --stat <TARGET>..<BRANCH>
git cherry -v <TARGET> <BRANCH>
git worktree list --porcelain
git -C <WORKTREE> status --short --branch
Dirty linked worktrees must not be removed, detached, or reset during branch
cleanup. Only after explicit maintainer/user approval, switch that worktree
to a preservation branch at the same commit to free the obsolete branch name
before deleting the merged branch.git branch --merged may not prove ancestry for PR branches
that landed through a squash or merge commit. Use the merged PR state plus
an empty tree diff or equivalent git cherry -v output as the deletion
signal; if the history relationship is unclear, keep the branch.ahead=0: safe deletion candidate