Skip to content

Archive the fork/ branch when a fork PR closes - #17

Merged
epompeii merged 1 commit into
mainfrom
u/ep/fork-closed-prefix
Oct 17, 2026
Merged

epompeii merged 1 commit into
mainfrom
u/ep/fork-closed-prefix

Commits

  1. Commits on Oct 17, 2026