forge-workflow 0.0.5 → 0.0.7

package/scripts/forge-team/lib/dashboard.sh

@@ -0,0 +1,341 @@
+#!/usr/bin/env bash
+# dashboard.sh — Team health dashboard for forge-team.
+#
+# Provides cmd_dashboard [--format=json] which aggregates team issue data
+# from Beads and displays per-developer stats, stale assignments, and
+# blocked issues.
+
+# ── Dependencies ─────────────────────────────────────────────────────────
+# BD_CMD — path to bd binary (default: bd)
+BD_CMD="${BD_CMD:-bd}"
+
+# FORGE_NOW — override current epoch for testing (default: real time)
+_now() {
+  if [[ -n "${FORGE_NOW:-}" ]]; then
+    echo "$FORGE_NOW"
+  else
+    date +%s
+  fi
+}
+
+# Convert ISO8601 timestamp to epoch seconds
+_iso_to_epoch() {
+  local ts="$1"
+  # Remove trailing Z and replace T with space for date parsing
+  local clean="${ts%Z}"
+  clean="${clean//T/ }"
+  # Use date -d for GNU date (Linux/Git Bash)
+  if date -d "$clean UTC" +%s 2>/dev/null; then
+    return
+  fi
+  # Fallback: manual parse YYYY-MM-DD HH:MM:SS
+  # This handles the common case in Git Bash on Windows
+  local year month day hour min sec
+  IFS='-: ' read -r year month day hour min sec <<< "$clean"
+  # Use python if available
+  if command -v python3 &>/dev/null; then
+    python3 -c "import calendar,datetime; print(int(calendar.timegm(datetime.datetime($year,$month,$day,$hour,$min,$sec).timetuple())))"
+  elif command -v python &>/dev/null; then
+    python -c "import calendar,datetime; print(int(calendar.timegm(datetime.datetime($year,$month,$day,$hour,$min,$sec).timetuple())))"
+  else
+    # Last resort: approximate with GNU date
+    echo 0
+  fi
+}
+
+# ── Data Collection ──────────────────────────────────────────────────────
+
+# Parse bd list output into issue IDs and titles.
+# Each line: "◐ forge-aaa · Feature A" or "○ forge-bbb · Feature B"
+_parse_issue_list() {
+  local line
+  while IFS= read -r line; do
+    [[ -z "$line" ]] && continue
+    # Extract issue ID: between status icon and " · "
+    local id title
+    id="$(echo "$line" | sed -E 's/^[^ ]+ +([^ ]+) +·.*/\1/')"
+    title="$(echo "$line" | sed -E 's/^[^ ]+ +[^ ]+ +· +(.*)/\1/')"
+    echo "$id|$title"
+  done
+}
+
+# Get issue details: status, owner, updated timestamp, blocked-by list
+# Output: id|title|status|owner|updated_epoch|blocked_by
+_get_issue_details() {
+  local issue_id="$1"
+  local show_output
+  show_output="$($BD_CMD show "$issue_id" 2>/dev/null)" || return 1
+
+  local status="OPEN" owner="" updated="" blocked_by="" title=""
+
+  local line
+  local in_depends=0
+  while IFS= read -r line; do
+    # First line has status: "◐ forge-aaa · Feature A [● P2 · IN_PROGRESS]"
+    if [[ "$line" =~ \[.*·[[:space:]]*(OPEN|IN_PROGRESS|BLOCKED)\] ]]; then
+      status="${BASH_REMATCH[1]}"
+      # Extract title from first line
+      title="$(echo "$line" | sed -E 's/^[^ ]+ +[^ ]+ +· +(.+) +\[.*/\1/')"
+    fi
+
+    # Owner line
+    if [[ "$line" =~ ^Owner:[[:space:]]*(.+) ]]; then
+      owner="${BASH_REMATCH[1]}"
+    fi
+
+    # Updated line
+    if [[ "$line" =~ ^Updated:[[:space:]]*(.+) ]]; then
+      updated="${BASH_REMATCH[1]}"
+    fi
+
+    # DEPENDS ON section
+    if [[ "$line" == "DEPENDS ON" ]]; then
+      in_depends=1
+      continue
+    fi
+
+    if [[ $in_depends -eq 1 && "$line" =~ →.*([a-z]+-[a-z]+):.* ]]; then
+      # Extract dependency issue ID
+      local dep_id
+      dep_id="$(echo "$line" | sed -E 's/.*→ +[^ ]+ +([a-z]+-[a-z0-9]+):.*/\1/')"
+      if [[ -n "$blocked_by" ]]; then
+        blocked_by="$blocked_by,$dep_id"
+      else
+        blocked_by="$dep_id"
+      fi
+    fi
+  done <<< "$show_output"
+
+  local updated_epoch=0
+  if [[ -n "$updated" ]]; then
+    updated_epoch="$(_iso_to_epoch "$updated")"
+  fi
+
+  echo "$issue_id|$title|$status|$owner|$updated_epoch|$blocked_by"
+}
+
+# ── Dashboard Command ────────────────────────────────────────────────────
+
+cmd_dashboard() {
+  local format="text"
+
+  # Parse args
+  local arg
+  for arg in "$@"; do
+    case "$arg" in
+      --format=json) format="json" ;;
+      --format=*) echo "Error: unsupported format '${arg#--format=}'" >&2; return 1 ;;
+    esac
+  done
+
+  # 1. Get all open/in_progress issues
+  local issue_list
+  issue_list="$($BD_CMD list --status=open,in_progress 2>/dev/null)" || issue_list=""
+
+  # Check for empty
+  if [[ -z "$issue_list" ]]; then
+    if [[ "$format" == "json" ]]; then
+      echo '{"developers":{},"total":0,"stale":[],"blocked":[],"message":"No active issues — team is clear"}'
+    else
+      echo "No active issues — team is clear"
+    fi
+    return 0
+  fi
+
+  # 2. Parse issue IDs
+  local issues=()
+  while IFS= read -r entry; do
+    [[ -z "$entry" ]] && continue
+    issues+=("$entry")
+  done <<< "$(echo "$issue_list" | _parse_issue_list)"
+
+  # 3. Collect details for each issue
+  local now_epoch
+  now_epoch="$(_now)"
+  local stale_threshold=172800  # 48h in seconds
+
+  # Associative arrays for per-developer aggregation
+  declare -A dev_open dev_inprogress dev_blocked dev_stale
+
+  # Lists for stale and blocked sections
+  local stale_entries=()
+  local blocked_entries=()
+  local total_open=0 total_inprogress=0 total_blocked=0 total_stale=0
+
+  for entry in "${issues[@]}"; do
+    local issue_id="${entry%%|*}"
+
+    local details
+    details="$(_get_issue_details "$issue_id")" || continue
+
+    IFS='|' read -r _id _title _status _owner _updated_epoch _blocked_by <<< "$details"
+
+    # Default owner if empty
+    [[ -z "$_owner" ]] && _owner="unassigned"
+
+    # Initialize developer counters
+    [[ -z "${dev_open[$_owner]:-}" ]] && dev_open[$_owner]=0
+    [[ -z "${dev_inprogress[$_owner]:-}" ]] && dev_inprogress[$_owner]=0
+    [[ -z "${dev_blocked[$_owner]:-}" ]] && dev_blocked[$_owner]=0
+    [[ -z "${dev_stale[$_owner]:-}" ]] && dev_stale[$_owner]=0
+
+    # Count by status
+    case "$_status" in
+      OPEN)
+        dev_open[$_owner]=$(( ${dev_open[$_owner]} + 1 ))
+        total_open=$((total_open + 1))
+        ;;
+      IN_PROGRESS)
+        dev_inprogress[$_owner]=$(( ${dev_inprogress[$_owner]} + 1 ))
+        total_inprogress=$((total_inprogress + 1))
+        ;;
+      BLOCKED)
+        dev_blocked[$_owner]=$(( ${dev_blocked[$_owner]} + 1 ))
+        total_blocked=$((total_blocked + 1))
+        ;;
+    esac
+
+    # Check for blocked (has DEPENDS ON with open deps)
+    if [[ -n "$_blocked_by" ]]; then
+      dev_blocked[$_owner]=$(( ${dev_blocked[$_owner]} + 1 ))
+      total_blocked=$((total_blocked + 1))
+      blocked_entries+=("$_id|$_owner|$_title|$_blocked_by")
+    fi
+
+    # Check for stale (>48h since last update)
+    if [[ "$_updated_epoch" -gt 0 ]]; then
+      local age=$(( now_epoch - _updated_epoch ))
+      if [[ $age -gt $stale_threshold ]]; then
+        local hours=$(( age / 3600 ))
+        dev_stale[$_owner]=$(( ${dev_stale[$_owner]} + 1 ))
+        total_stale=$((total_stale + 1))
+        stale_entries+=("$_id|$_owner|$_title|${hours}h since last update")
+      fi
+    fi
+  done
+
+  local total_issues=${#issues[@]}
+
+  # 4. Output
+  if [[ "$format" == "json" ]]; then
+    _dashboard_json "$total_issues"
+  else
+    _dashboard_text "$total_issues"
+  fi
+}
+
+# ── Text Output ──────────────────────────────────────────────────────────
+
+_dashboard_text() {
+  local total_issues="$1"
+
+  echo "Team Dashboard"
+  echo "══════════════"
+  echo ""
+
+  # Header
+  printf "%-16s %4s  %11s  %7s  %5s\n" "Developer" "Open" "In Progress" "Blocked" "Stale"
+
+  # Get sorted list of developers
+  local devs=()
+  local dev
+  for dev in "${!dev_open[@]}"; do
+    devs+=("$dev")
+  done
+  # Sort developers
+  IFS=$'\n' devs=($(sort <<< "${devs[*]}")); unset IFS
+
+  for dev in "${devs[@]}"; do
+    printf "%-16s %4d  %11d  %7d  %5d\n" \
+      "$dev" \
+      "${dev_open[$dev]:-0}" \
+      "${dev_inprogress[$dev]:-0}" \
+      "${dev_blocked[$dev]:-0}" \
+      "${dev_stale[$dev]:-0}"
+  done
+
+  echo ""
+
+  # Build total summary parts
+  local parts=()
+  [[ $total_inprogress -gt 0 ]] && parts+=("$total_inprogress in progress")
+  [[ $total_blocked -gt 0 ]] && parts+=("$total_blocked blocked")
+  [[ $total_stale -gt 0 ]] && parts+=("$total_stale stale")
+  [[ $total_open -gt 0 ]] && parts+=("$total_open open")
+
+  local summary=""
+  if [[ ${#parts[@]} -gt 0 ]]; then
+    summary=" ($(IFS=', '; echo "${parts[*]}"))"
+  fi
+  echo "Total: $total_issues issues${summary}"
+
+  # Stale section
+  if [[ ${#stale_entries[@]} -gt 0 ]]; then
+    echo ""
+    echo "Stale assignments (>48h):"
+    local entry
+    for entry in "${stale_entries[@]}"; do
+      IFS='|' read -r _id _owner _title _age <<< "$entry"
+      echo "  ⚠ $_id [$_owner] — $_title ($_age)"
+    done
+  fi
+
+  # Blocked section
+  if [[ ${#blocked_entries[@]} -gt 0 ]]; then
+    echo ""
+    echo "Blocked issues:"
+    local entry
+    for entry in "${blocked_entries[@]}"; do
+      IFS='|' read -r _id _owner _title _deps <<< "$entry"
+      echo "  ⚠ $_id [$_owner] — $_title (blocked by $_deps)"
+    done
+  fi
+}
+
+# ── JSON Output ──────────────────────────────────────────────────────────
+
+_dashboard_json() {
+  local total_issues="$1"
+
+  # Build developers JSON
+  local dev_json="{"
+  local first=1
+  local devs=()
+  local dev
+  for dev in "${!dev_open[@]}"; do
+    devs+=("$dev")
+  done
+  IFS=$'\n' devs=($(sort <<< "${devs[*]}")); unset IFS
+
+  for dev in "${devs[@]}"; do
+    [[ $first -eq 0 ]] && dev_json+=","
+    first=0
+    dev_json+="\"$dev\":{\"open\":${dev_open[$dev]:-0},\"in_progress\":${dev_inprogress[$dev]:-0},\"blocked\":${dev_blocked[$dev]:-0},\"stale\":${dev_stale[$dev]:-0}}"
+  done
+  dev_json+="}"
+
+  # Build stale JSON array
+  local stale_json="["
+  first=1
+  local entry
+  for entry in "${stale_entries[@]}"; do
+    [[ $first -eq 0 ]] && stale_json+=","
+    first=0
+    IFS='|' read -r _id _owner _title _age <<< "$entry"
+    stale_json+="$(jq -n -c --arg id "$_id" --arg owner "$_owner" --arg title "$_title" --arg age "$_age" '{id:$id,owner:$owner,title:$title,age:$age}')"
+  done
+  stale_json+="]"
+
+  # Build blocked JSON array
+  local blocked_json="["
+  first=1
+  for entry in "${blocked_entries[@]}"; do
+    [[ $first -eq 0 ]] && blocked_json+=","
+    first=0
+    IFS='|' read -r _id _owner _title _deps <<< "$entry"
+    blocked_json+="$(jq -n -c --arg id "$_id" --arg owner "$_owner" --arg title "$_title" --arg deps "$_deps" '{id:$id,owner:$owner,title:$title,blocked_by:$deps}')"
+  done
+  blocked_json+="]"
+
+  echo "{\"developers\":$dev_json,\"total\":$total_issues,\"in_progress\":$total_inprogress,\"blocked\":$total_blocked,\"stale\":$total_stale,\"stale_entries\":$stale_json,\"blocked_entries\":$blocked_json}"
+}

package/scripts/forge-team/lib/epic.sh

@@ -0,0 +1,332 @@
+#!/usr/bin/env bash
+# scripts/forge-team/lib/epic.sh — Epic rollup view
+#
+# Shows epic progress with per-developer breakdown and blocked issue tracking.
+#
+# Functions:
+#   cmd_epic  — Top-level dispatcher entry point
+#
+# Env overrides (for testing):
+#   BD_CMD   — Path to bd binary
+#
+# This file does NOT set errexit/pipefail — callers manage their own shell options.
+
+# Guard against double-sourcing
+if [[ -n "${_EPIC_LIB_LOADED:-}" ]]; then
+  return 0 2>/dev/null || true
+fi
+_EPIC_LIB_LOADED=1
+
+# ── Internal helpers ─────────────────────────────────────────────────────
+
+# _epic_get_bd — Returns the bd command path
+_epic_get_bd() {
+  printf '%s' "${BD_CMD:-bd}"
+}
+
+# _epic_parse_blocks <bd-show-output>
+# Extracts child issue IDs from the BLOCKS section.
+# Each line in BLOCKS looks like: ← ✓ forge-child1: Child 1 (closed)
+# Returns one ID per line.
+_epic_parse_blocks() {
+  local bd_output="$1"
+  local in_blocks=0
+
+  while IFS= read -r line; do
+    if [[ "$line" == "BLOCKS" ]]; then
+      in_blocks=1
+      continue
+    fi
+    # Stop at next section header (non-indented, non-empty line after BLOCKS)
+    if [[ $in_blocks -eq 1 ]]; then
+      if [[ -z "$line" ]]; then
+        continue
+      fi
+      if [[ "$line" =~ ^[A-Z] ]]; then
+        break
+      fi
+      # Extract issue ID: matches forge-XXXX pattern after the arrow+status marker
+      local child_id
+      child_id="$(printf '%s' "$line" | sed -n 's/.*← [^ ]* \([a-z0-9-]*\):.*/\1/p')"
+      if [[ -n "$child_id" ]]; then
+        printf '%s\n' "$child_id"
+      fi
+    fi
+  done <<< "$bd_output"
+}
+
+# _epic_get_child_info <child-id>
+# Returns: id|status|owner|title|blocked_by
+_epic_get_child_info() {
+  local child_id="$1"
+  local bd_cmd
+  bd_cmd="$(_epic_get_bd)"
+
+  local child_output
+  child_output="$("$bd_cmd" show "$child_id" 2>/dev/null)" || return 1
+
+  local first_line
+  first_line="$(printf '%s' "$child_output" | head -1)"
+
+  # Parse status from the first character/marker
+  local status="open"
+  if [[ "$first_line" == *"CLOSED"* ]] || [[ "$first_line" == *"✓"* ]]; then
+    status="closed"
+  elif [[ "$first_line" == *"IN_PROGRESS"* ]] || [[ "$first_line" == *"◐"* ]]; then
+    status="in_progress"
+  fi
+
+  # Parse title — between · and [
+  local title
+  title="$(printf '%s' "$first_line" | sed -n 's/^[^ ]* [^ ]* · \(.*\) \[.*/\1/p')"
+  if [[ -z "$title" ]]; then
+    title="$child_id"
+  fi
+
+  # Parse owner from "Owner: xxx" line
+  local owner=""
+  owner="$(printf '%s' "$child_output" | sed -n 's/^Owner: *//p' | head -1)"
+
+  # Check for BLOCKED_BY section
+  local blocked_by=""
+  blocked_by="$(printf '%s' "$child_output" | sed -n '/^BLOCKED_BY$/,/^[A-Z]/{ /^  /{ s/.*→ \([a-z0-9-]*\):.*/\1/p; }; }')"
+
+  printf '%s|%s|%s|%s|%s' "$child_id" "$status" "$owner" "$title" "$blocked_by"
+}
+
+# _epic_status_icon <status>
+_epic_status_icon() {
+  case "$1" in
+    closed)      printf '%s' "✓" ;;
+    in_progress) printf '%s' "◐" ;;
+    *)           printf '%s' "○" ;;
+  esac
+}
+
+# ── Public API ───────────────────────────────────────────────────────────
+
+# cmd_epic <issue-id> [--format=json]
+cmd_epic() {
+  local issue_id="${1:-}"
+  local format_flag="${2:-}"
+
+  if [[ -z "$issue_id" ]]; then
+    echo "ERROR: Usage: forge team epic <issue-id> [--format=json]" >&2
+    return 1
+  fi
+
+  local bd_cmd
+  bd_cmd="$(_epic_get_bd)"
+
+  # 1. Get epic details
+  local epic_output
+  epic_output="$("$bd_cmd" show "$issue_id" 2>/dev/null)" || {
+    echo "ERROR: Could not fetch epic $issue_id" >&2
+    return 1
+  }
+
+  # Parse epic title from first line
+  local epic_first_line
+  epic_first_line="$(printf '%s' "$epic_output" | head -1)"
+  local epic_title
+  epic_title="$(printf '%s' "$epic_first_line" | sed -n 's/^[^ ]* [^ ]* · \(.*\) \[.*/\1/p')"
+  if [[ -z "$epic_title" ]]; then
+    epic_title="$issue_id"
+  fi
+
+  # 2. Parse BLOCKS section to find child issues
+  local children_ids
+  children_ids="$(_epic_parse_blocks "$epic_output")"
+
+  # Handle empty epic
+  if [[ -z "$children_ids" ]]; then
+    if [[ "$format_flag" == "--format=json" ]]; then
+      cat <<ENDJSON
+{"epic_id":"$issue_id","title":"$epic_title","total":0,"done":0,"in_progress":0,"open_count":0,"percentage":0,"children":[],"by_developer":{},"blocked":[]}
+ENDJSON
+      return 0
+    fi
+    echo "Epic: $issue_id — $epic_title"
+    echo "No child issues"
+    return 0
+  fi
+
+  # 3. For each child: get status, assignee
+  local total=0
+  local done_count=0
+  local in_progress_count=0
+  local open_count=0
+  local blocked_list=""
+
+  # Arrays for child data (using indexed approach for bash 3 compat)
+  local child_lines=""
+  # Developer tracking: accumulate "dev:status" pairs
+  local dev_entries=""
+
+  while IFS= read -r child_id; do
+    [[ -z "$child_id" ]] && continue
+
+    local info
+    info="$(_epic_get_child_info "$child_id")" || continue
+
+    local c_id c_status c_owner c_title c_blocked
+    IFS='|' read -r c_id c_status c_owner c_title c_blocked <<< "$info"
+
+    total=$((total + 1))
+
+    case "$c_status" in
+      closed)      done_count=$((done_count + 1)) ;;
+      in_progress) in_progress_count=$((in_progress_count + 1)) ;;
+      *)           open_count=$((open_count + 1)) ;;
+    esac
+
+    # Track blocked children
+    if [[ -n "$c_blocked" ]]; then
+      if [[ -n "$blocked_list" ]]; then
+        blocked_list="$blocked_list"$'\n'"$c_id blocked by $c_blocked"
+      else
+        blocked_list="$c_id blocked by $c_blocked"
+      fi
+    fi
+
+    # Build child line for display
+    local icon
+    icon="$(_epic_status_icon "$c_status")"
+    local display_owner="${c_owner:-unassigned}"
+    child_lines="${child_lines}  $icon $c_id  [$display_owner]  $c_title ($c_status)"$'\n'
+
+    # Track developer entries
+    if [[ -n "$c_owner" ]]; then
+      dev_entries="${dev_entries}${c_owner}:${c_status}"$'\n'
+    fi
+  done <<< "$children_ids"
+
+  # 4. Calculate completion percentage
+  local percentage=0
+  if [[ $total -gt 0 ]]; then
+    percentage=$(( (done_count * 100) / total ))
+  fi
+
+  # 5. Build per-developer breakdown
+  # Collect unique developers
+  local devs=""
+  while IFS= read -r entry; do
+    [[ -z "$entry" ]] && continue
+    local dev="${entry%%:*}"
+    if [[ -z "$devs" ]] || ! printf '%s' "$devs" | grep -qxF "$dev"; then
+      if [[ -n "$devs" ]]; then
+        devs="$devs"$'\n'"$dev"
+      else
+        devs="$dev"
+      fi
+    fi
+  done <<< "$dev_entries"
+
+  # JSON output
+  if [[ "$format_flag" == "--format=json" ]]; then
+    local children_json="["
+    local first_child=1
+    while IFS= read -r child_id; do
+      [[ -z "$child_id" ]] && continue
+      local info
+      info="$(_epic_get_child_info "$child_id")" || continue
+      local c_id c_status c_owner c_title c_blocked
+      IFS='|' read -r c_id c_status c_owner c_title c_blocked <<< "$info"
+
+      if [[ $first_child -eq 0 ]]; then
+        children_json="$children_json,"
+      fi
+      first_child=0
+      children_json="$children_json{\"id\":\"$c_id\",\"status\":\"$c_status\",\"owner\":\"$c_owner\",\"title\":\"$c_title\",\"blocked_by\":\"$c_blocked\"}"
+    done <<< "$children_ids"
+    children_json="$children_json]"
+
+    local dev_json="{"
+    local first_dev=1
+    while IFS= read -r dev; do
+      [[ -z "$dev" ]] && continue
+      local d_done=0 d_in_progress=0 d_open=0 d_total=0
+      while IFS= read -r entry; do
+        [[ -z "$entry" ]] && continue
+        local e_dev="${entry%%:*}"
+        local e_status="${entry#*:}"
+        if [[ "$e_dev" == "$dev" ]]; then
+          d_total=$((d_total + 1))
+          case "$e_status" in
+            closed)      d_done=$((d_done + 1)) ;;
+            in_progress) d_in_progress=$((d_in_progress + 1)) ;;
+            *)           d_open=$((d_open + 1)) ;;
+          esac
+        fi
+      done <<< "$dev_entries"
+
+      if [[ $first_dev -eq 0 ]]; then
+        dev_json="$dev_json,"
+      fi
+      first_dev=0
+      dev_json="$dev_json\"$dev\":{\"total\":$d_total,\"done\":$d_done,\"in_progress\":$d_in_progress,\"open\":$d_open}"
+    done <<< "$devs"
+    dev_json="$dev_json}"
+
+    local blocked_json="["
+    if [[ -n "$blocked_list" ]]; then
+      local first_blocked=1
+      while IFS= read -r bline; do
+        [[ -z "$bline" ]] && continue
+        if [[ $first_blocked -eq 0 ]]; then
+          blocked_json="$blocked_json,"
+        fi
+        first_blocked=0
+        blocked_json="$blocked_json\"$bline\""
+      done <<< "$blocked_list"
+    fi
+    blocked_json="$blocked_json]"
+
+    printf '{"epic_id":"%s","title":"%s","total":%d,"done":%d,"in_progress":%d,"open_count":%d,"percentage":%d,"children":%s,"by_developer":%s,"blocked":%s}\n' \
+      "$issue_id" "$epic_title" "$total" "$done_count" "$in_progress_count" "$open_count" "$percentage" \
+      "$children_json" "$dev_json" "$blocked_json"
+    return 0
+  fi
+
+  # Text output
+  echo "Epic: $issue_id — $epic_title"
+  echo "Progress: $done_count/$total ($percentage%)"
+  printf '%s' "$child_lines"
+
+  echo ""
+  echo "By developer:"
+  while IFS= read -r dev; do
+    [[ -z "$dev" ]] && continue
+    local d_done=0 d_in_progress=0 d_open=0 d_total=0
+    while IFS= read -r entry; do
+      [[ -z "$entry" ]] && continue
+      local e_dev="${entry%%:*}"
+      local e_status="${entry#*:}"
+      if [[ "$e_dev" == "$dev" ]]; then
+        d_total=$((d_total + 1))
+        case "$e_status" in
+          closed)      d_done=$((d_done + 1)) ;;
+          in_progress) d_in_progress=$((d_in_progress + 1)) ;;
+          *)           d_open=$((d_open + 1)) ;;
+        esac
+      fi
+    done <<< "$dev_entries"
+
+    local dev_parts=""
+    dev_parts="$d_done/$d_total done"
+    [[ $d_in_progress -gt 0 ]] && dev_parts="$dev_parts, $d_in_progress in progress"
+    [[ $d_open -gt 0 ]] && dev_parts="$dev_parts, $d_open open"
+    echo "  $dev: $dev_parts"
+  done <<< "$devs"
+
+  echo ""
+  if [[ -n "$blocked_list" ]]; then
+    echo "Blocked:"
+    while IFS= read -r bline; do
+      [[ -z "$bline" ]] && continue
+      echo "  $bline"
+    done <<< "$blocked_list"
+  else
+    echo "Blocked: none"
+  fi
+}