Skip to content

Delete PR branches on close#86

Merged
jonthegeek merged 1 commit into
mainfrom
clean-pr-pkgdown
Apr 14, 2026
Merged

Delete PR branches on close#86
jonthegeek merged 1 commit into
mainfrom
clean-pr-pkgdown

Commits

Commits on Apr 14, 2026