بنقرة واحدة
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