This message was deleted.

actually, manually merging the PR applies the Github default, but merging when ready does not.

Hmm I don't think there is at the moment, but I can throw this in as a feature request!