ATM, "merge commits" are enabled and used in this repository. Would there be an objection to stop using them here, in favor of using the "rebase"-type PR commits?
I ask because of the publish/release automation work I am doing - one potential way forward is to include/detect a keyword in the HEAD commit (of a PR) title, to trigger a new automated release. However it seems this mechanism would break is a PR is merged using "merge-commit", that adds a commit on top.
WDYT? I can submit a PR to modify this if the proposal is acceptable.