Repository navigation

Check Drawing Board's device sign-in and workshop tools - #17

Merged

raghubetina merged 3 commits into

mainfrom

drawing-board-workshop-current

Oct 5, 2026

Merged

Check Drawing Board's device sign-in and workshop tools#17
raghubetina merged 3 commits into
mainfrom
drawing-board-workshop-current

Commits on Oct 5, 2026
- Check the Drawing Board workshop contract
  raghubetina
  committed
  9f8128a
- Check that login.sh waits for an approved sign-in
  raghubetina
  committed
  b3c4eb3
- Qualify the Board's zombie-aware login helper
  raghubetina
  committed
  cabfce8