Does PyGithub support auto-merge?
Our repos usually have auto merge enabled (doc). We are also trying a new merge queue mechanism in beta.
It seems the web UI button sends a POST request to https://github.com/<repo>/pull/<pr_number>/auto_merge_requests with parameter do: squash or do: group.
I didn't find PyGithub documentation mentioning these merge methods, nor auto_merge_requests string in the project. Are they supported right now?
#2816 adds enable_automerge and disable_automerge to PullRequest which is in PyGithub==2.2.0
AFAICS this repo doesn't yet have any support for merge queues (e.g. viewing them, or checking if a PR is in the queue etc.) but that should probably be a separate issue on this repo.