When clicking on 'squash & merge', GitHub copies the PR title into the merged commit message, EXCEPT if there was only one commit in the PR.
The easiest solution to prevent that (because I based the entire CI on the fact that commits pushed to main should be named after the PR) is for now to add an extra empty commit automatically.
A bit stupid but:
main
should be named after the PR) is for now to add an extra empty commit automatically.