Skip to content

Move create PR shortcut into tooltip#279

Merged
ruudandriessen merged 1 commit into
mainfrom
ruudandriessen/pr-shortcut-tooltip
Mar 10, 2026
Merged

Move create PR shortcut into tooltip#279
ruudandriessen merged 1 commit into
mainfrom
ruudandriessen/pr-shortcut-tooltip

Commits

Commits on Mar 10, 2026