Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[github workflow] auto-close PR's with branch named 'master' (#433)
* [github workflow] auto-close PR's with branch named 'master' * [github workflow] auto-close PR's with branch named 'master'; remove branch specifiers
- Loading branch information