Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
remove old project board workflow (#1831)
This workflow is no longer necessary, now that GH implemented the workflow GUI which supports auto-adding issues to projects
- Loading branch information