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?