include all the authors in the merge title

This uses the pull-request commits as we need the user names
and not the author-names. And also makes it possible to keep
credits when squashing commits