Skip to content

Remove actions to add new PRs and issues to a project board#1187

Merged
jidicula merged 1 commit intoactions:mainfrom jorendorff:jorendorff/rm-add-to-projectJun 12, 2023
-12

Commits

Commits on Jun 12, 2023