Open risu729 opened 1 month ago
Some outdated PRs need to be updated before editing. Also, some PRs checks failed might resolve the problem by dependencies update.
Found one, but requires PAT (or GitHub App), in order to trigger actions for the merge commit. https://github.com/marketplace/actions/up-to-date-prs
Use this API. https://docs.github.com/en/rest/pulls/pulls?apiVersion=2022-11-28#update-a-pull-request
Some outdated PRs need to be updated before editing. Also, some PRs checks failed might resolve the problem by dependencies update.