task-done.sh

#!/usr/bin/env bash
set -euo pipefail

ROOT_DIR="$(cd "$(dirname "$0")" && pwd)"
TASKS_DIR="$ROOT_DIR/tasks"
CONF="$ROOT_DIR/repos.conf"

if [[ ! -f "$CONF" ]]; then
    echo "Error: repos.conf not found."
    exit 1
fi

mapfile -t VALID_REPOS < <(grep -v '^\s*#' "$CONF" | grep -v '^\s*$')

usage() {
    echo "Usage: $0 <task-name> [--delete-branches]"
    echo ""
    echo "Tear down a workspace created by task-new.sh."
    echo ""
    echo "  task-name         The workspace to remove"
    echo "  --delete-branches Also delete the local branches (default: keep them)"
    echo ""
    echo "Active workspaces:"
    if [[ -d "$TASKS_DIR" ]]; then
        for d in "$TASKS_DIR"/*/; do
            [[ -d "$d" ]] && echo "  $(basename "$d")"
        done
    else
        echo "  (none)"
    fi
    exit 1
}

[[ $# -lt 1 ]] && usage

TASK_NAME="$1"
DELETE_BRANCHES=false
[[ "${2:-}" == "--delete-branches" ]] && DELETE_BRANCHES=true

TASK_DIR="$TASKS_DIR/$TASK_NAME"

if [[ ! -d "$TASK_DIR" ]]; then
    echo "Error: workspace '$TASK_NAME' not found at $TASK_DIR"
    exit 1
fi

echo "Removing workspace: $TASK_NAME"
echo ""

# Remove worktrees
for repo in "${VALID_REPOS[@]}"; do
    src="$ROOT_DIR/$repo"
    dest="$TASK_DIR/$repo"

    if [[ -d "$dest" ]]; then
        echo "  Removing worktree: $repo"
        git -C "$src" worktree remove "$dest" --force 2>&1 | sed 's/^/    /'

        if $DELETE_BRANCHES; then
            echo "    Deleting branch '$TASK_NAME'"
            git -C "$src" branch -D "$TASK_NAME" 2>&1 | sed 's/^/    /' || true
        fi
    fi
done

# Remove workspace directory
rm -rf "$TASK_DIR"

echo ""
echo "Workspace '$TASK_NAME' removed."

if ! $DELETE_BRANCHES; then
    echo ""
    echo "Local branches named '$TASK_NAME' were kept. To delete them:"
    for repo in "${VALID_REPOS[@]}"; do
        src="$ROOT_DIR/$repo"
        if git -C "$src" rev-parse --verify "$TASK_NAME" &>/dev/null; then
            echo "  git -C $repo branch -d $TASK_NAME"
        fi
    done
fi