Support auto-merge from "lgtm" with a way to cancel it

[saschanaz]

• https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-auto-merge-for-pull-requests-in-your-repository
• https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/incorporating-changes-from-a-pull-request/automatically-merging-a-pull-request

This way I don't have to wait until the test succeeds.

[saschanaz]

Not sure this is supported by API, https://docs.github.com/en/rest/reference/pulls#merge-a-pull-request still lists nothing about auto-merge.

Edit: Perhaps enabling auto-merge on a repository means that the merge API won't fail and instead will wait for the test, without additional parameter? Could you please enable it on microsoft/TypeScript-DOM-lib-generator so that I can test it 🤔

[orta]

( You'd have to ask on the repo, I don't have the rights anymore )

[saschanaz]

Oops, I'll do. Sorry!