Skip to content

Add label support to PR sync - #115

Merged
dbpolito merged 2 commits into
mainfrom
feature/pr-sync-labels
Aug 3, 2026
Merged

Add label support to PR sync#115
dbpolito merged 2 commits into
mainfrom
feature/pr-sync-labels

Commits

Commits on Aug 1, 2026