Bug in issue-closing script due to change in Github API
Open
bug
Github action
- Dominant language
- No language data
- Stars
- 91
- Forks
- 183
- Avg merge
- 6d 2m
- Merged PRs (30d)
- 9
Description
A change in the Github API resulted in the issue-closing script no longer being able to close Pull Requests (PRs). However, this can be resolved by simply re-ordering the PR/issue check in the script itself.
This bug fix will be added to the current Github Actions PR (#332), in order to fix the issue on the development branch. The other branches will require additional PRs.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.