justin/ai-workflow-course
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Running-example consistency: paths, tasks.json, command collisions (#7,#10,#11) (#57)

Browse Source 
Co-authored-by: claude <claude@jpaul.io>
Co-committed-by: claude <claude@jpaul.io>
This commit was merged in pull request #57.
This commit is contained in:
Claude (agent)
2026-06-22 15:35:51 -04:00
committed by Claude (agent)
parent 848ad14e3c
commit 06b9f8f308
14 changed files with 192 additions and 136 deletions
Download Patch File Download Diff File Expand all files Collapse all files
modules/07-worktrees-running-agents-in-parallel/lab/cleanup-worktrees.sh
+7 -6
View File
@@ -1,23 +1,24 @@
#!/usr/bin/env bash
#
# Module 7 lab — tear down the two worktrees created by setup-worktrees.sh.
# Run from INSIDE your tasks-app repo:
# Copy this into your tasks-app repo, then run it from inside:
#
# bash modules/07-worktrees-running-agents-in-parallel/lab/cleanup-worktrees.sh
# cp /path/to/modules/07-worktrees-running-agents-in-parallel/lab/cleanup-worktrees.sh .
# bash cleanup-worktrees.sh
#
# `git worktree remove` deletes the folder AND clears Git's record of it; `prune` mops up any
# worktrees whose folders were deleted by hand (which leaves a stale record otherwise).
#
# NOTE: --force discards UNCOMMITTED work in a worktree. Commit (or merge) before cleaning up.
# This script assumes you already merged feature/clear and feature/count back into main.
# This script assumes you already merged feature/wipe and feature/remaining back into main.
#
set -euo pipefail
ROOT="$(git rev-parse --show-toplevel)"
PARENT="$(cd "$ROOT/.." && pwd)"
git worktree remove "$PARENT/tasks-app-clear" --force 2>/dev/null || true
git worktree remove "$PARENT/tasks-app-count" --force 2>/dev/null || true
git worktree remove "$PARENT/tasks-app-wipe" --force 2>/dev/null || true
git worktree remove "$PARENT/tasks-app-remaining" --force 2>/dev/null || true
git worktree prune
echo
@@ -26,4 +27,4 @@ git worktree list
echo
echo "If you merged both branches you can also delete them:"
echo " git branch -d feature/clear feature/count"
echo " git branch -d feature/wipe feature/remaining"