A GitHub App built with Probot to help you manage issues in pull requests (PRs) better
PendingPR assigns a Pending PR label to an issue claimed to be closed by a PR in its body. The label is then removed from the issue as soon as the PR is closed/merged. This provides better visibility to you and your team on what issues are currently in PRs so you can focus on what needs to be done instead!
For more infomation, check this GitHub article on Closing issues using keywords
The following PR body would assign a Pending PR label to issues 10, 12 and 15 if they exist.
This PR closes #10, resolves #12 and fixed: #15
Once this PR is merged/closed, the Pending PR label will be removed from these issues. The issues are automatically closed by GitHub if the PR is merged.