Skip to content

feat: add scripts for merging pull requests by title and from a list, and validate PR titles#143

Merged
joshjohanning merged 1 commit into
mainfrom
add-pr-scripts
Dec 23, 2025
Merged

feat: add scripts for merging pull requests by title and from a list, and validate PR titles#143
joshjohanning merged 1 commit into
mainfrom
add-pr-scripts

feat: add scripts for merging pull requests by title and from a list,…

5a3e43d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar