Skip to content

ci(port): track upstream HEAD, guard backwards ports, open PRs via GitHub App - #5

Merged
LukasParke merged 1 commit into
mainfrom
LukasParke/port-head-tracking
Aug 3, 2026
Merged

ci(port): track upstream HEAD, guard backwards ports, open PRs via GitHub App#5
LukasParke merged 1 commit into
mainfrom
LukasParke/port-head-tracking

Commits

Commits on Aug 3, 2026