Hi,
I was investigating how to implement the new options around default commit messages when merging a pull request:
https://github.blog/changelog/2022-08-23-new-options-for-controlling-the-default-commit-message-when-merging-a-pull-request/
Based on the above this can be implemented via the API using:
squash_merge_commit_title and squash_merge_commit_message as seen on the API: https://docs.github.com/en/rest/repos/repos#update-a-repository
I can't find this being implemented on PyGithub but I can see we can modify on the edit repo the type of merge: https://github.com/PyGithub/PyGithub/blob/master/github/Repository.py#L1564-L1566
Is this something that people would be interested about?
Thanks,