Trigger Github workflow for merges
Trigger Github workflow for merges

A merge is viewed by Github as a push to the branch where the merge
occurs, see https://github.community/t/trigger-workflow-only-on-pull-request-merge/17359/2
This means we should have coverage reports for merge commits from
Github, which should result in saner numbers.

doctrine/dbal,doctrine/dbal