Repository navigation

Replace the label chooser with a new LabelPicker - #6748

Merged

BurntimeX merged 3 commits into

6.3from

63-label-picker

Oct 22, 2026

Merged

Replace the label chooser with a new LabelPicker#6748
BurntimeX merged 3 commits into
6.3from
63-label-picker

Commits on Oct 22, 2026
- Replace the label chooser with a new LabelPicker
  BurntimeX
  committed
  e3d2c9a
- Add "without label" option to label filter
  BurntimeX
  committed
  a64e9c0
- Fix stale dropdown registration on reused ids
  BurntimeX
  committed
  90f86c9