[nikisweeting]

You can achieve that with PR titles instead of commit titles.

[spdionis]

But then... PR titles don't show up in the git log.