Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
feat(workflows): close individual PRs when combined PR is merged (#1531)
Adds `Closes` keyword before the successfully merged PR numbers so that GitHub automatically closes the individual PRs when the combined PR is merged.
- Loading branch information