Skip to content

docs(labels): new area labels and a just labels recipe #137

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
h0ffmann merged 1 commit into from
Oct 21, 2026
Merged

docs(labels): new area labels and a just labels recipe #137

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 7 additions & 0 deletions LABEL.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -31,7 +31,12 @@ is one label per lab plus the parts of the repo outside `labs/`, and there is no
| `area/agentic` | `#C2E0C6` | `labs/agentic`: ai-jail, OpenCode, `ocr`, `jail-run` and friends |
| `area/cuda` | `#C2E0C6` | `labs/cuda`: CUDA cache setup and the torch venv |
| `area/present` | `#C2E0C6` | `labs/present`: annotation, capture, webcam, presenters |
| `area/ptbr-pdf` | `#C2E0C6` | `labs/ptbr-pdf`: `to-pdf`, Markdown to PDF with Typst |
| `area/ptbr-tools` | `#C2E0C6` | `labs/ptbr-tools`: the `ptbr` binary that ptbr-writer ships |
| `area/viz` | `#C2E0C6` | `labs/viz`: the visualisation toolchain |
| `area/paper` | `#C2E0C6` | `labs/paper`: the paper and report toolchain |
| `area/labs` | `#C2E0C6` | Every lab at once: `lab.json`, a nixpkgs bump across labs |
| `area/tools` | `#BFD4F2` | `tools/`: the repo-wide Rust crates (`citation`, `render`, `site-check`, …) |
| `area/system` | `#F9D0C4` | The root NixOS system, `home.nix`, `just vm`, the move back to NixOS |
| `area/site` | `#BFDADC` | `site/`: the Gleam page, drawings, history, GitHub Pages |
| `area/ci` | `#006B75` | `.github/workflows/`, the CI gate, Dependabot, reusable workflows |
Expand Down Expand Up @@ -68,6 +73,8 @@ them, never the two.

## Labels kept from before

Run `just labels` to create or update every label in the tables above (`gh label create --force`, needs `gh` logged in).

`dependencies` and `github_actions` stay: Dependabot adds them to its own PRs. GitHub's defaults
(`bug`, `enhancement`, `documentation`, …) and the older `bark` and `refactor` are no longer applied;
they map to `type/fix`, `type/feat`, `type/docs` and `type/refactor`. They are left in place rather
Expand Down
10 changes: 10 additions & 0 deletions justfile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -208,3 +208,13 @@ render which:
*) echo "usage: just render study|paper|ste" >&2; exit 1 ;;
esac
nix shell $P#chromium $P#pandoc -c env CHROMIUM=chromium nix run ./tools#render -- "${a[@]}"


# create or update the GitHub labels from the tables of LABEL.md (idempotent; needs `gh` logged in)
labels:
#!/usr/bin/env bash
set -euo pipefail
grep -E '^\| `[^`]+` \| `#[0-9A-Fa-f]{6}` \|' LABEL.md | while IFS='|' read -r _ n c d _; do
n=${n//\`/}; c=${c//\`/}; n=${n// /}; c=${c// /}; d=${d# }; d=${d% }
gh label create "$n" --color "${c#\#}" --description "$d" --force
done
Loading