GitHub Skill

worktree-management

Manage git worktrees for this repo. Use when creating/removing/inspecting worktrees or when isolating work into a new path/branch via scripts/worktree-*.sh.

JoernStoehler☆ 0 Étoiles du dépôt0 Forks du dépôt

Voir la source ↗Installation

Installation

Suivez les instructions du dépôt pour votre agent. Consultez les fichiers et dépendances avant l’installation.

Voir la source ↗Guides

Instructions

Worktree Management

Use the repo scripts (preferred)

Create: scripts/worktree-new.sh [--force] [--no-hydrate] <path> <branch>
- Creates worktree and branch (from main if missing).
- Use --no-hydrate to skip toolchain hydration.
Remove: scripts/worktree-remove.sh <path> [--force]
- Removes the worktree (branch is kept).
List: git worktree list

Notes

Worktrees live under /workspaces/worktrees/.
Shared build cache lives under /workspaces/worktrees/shared/ (notably Rust target/).

Exemples

Consultez les exemples du dépôt source.

Voir la source ↗

Historique source

Date d’indexation: 2026-01-20
Mise à jour de l’index: 2026-01-26
Branch: main

Les dates concernent ce répertoire. Consultez le dépôt pour l’historique du code.

GitHub ↗

chat Comments (0)

chat_bubble_outline

No comments yet. Be the first to share your thoughts!