Update:
The bot is closing the pull requests when another resource has been fully reviewed, creating a new pull request instead of updating the existing one.
- Resource A fully reviewed
- Bot opens pull request A with resource A
- Github action changes merge target
- Resource B fully reviewed
- Bot closes pull request A
- Bot deletes branch from pull request A
- Bot creates pull request B with resource B
Example:
PR #3356: Pull request for Russian resource units.json
PR #3357: Pull request for Russian resource interface.json
Instead of appending interface.json
to #3356, it creates #3357 as a separate PR, and for some reason closes #3356.