Repository navigation
v1.7.0 - PR Label Support
What's New
PR Label Support with GitHub Sync
PRs now display their GitHub labels as color-coded badges throughout the dashboard. Labels are synced from GitHub during regular sync cycles and can be changed directly from the PR detail panel, with changes pushed back to GitHub in real time.
- Color-coded label badges on PR cards in both RepoView and dependency graph
- Single-select label dropdown in the PR detail panel with icons and color dots (labels are mutually exclusive)
- Filter PRs by label in RepoView
- Two-way sync: label changes in the dashboard are reflected on GitHub and vice versa
Fixes
- Label badges on PR cards no longer wrap to a second line
- Label filter icon in RepoView is now vertically centered