CI: add an action to prever merge commits in a branch of an opened PR#3300

dannywillems wants to merge 1 commit intomastero1-labs/proof-systems:masterfrom

dw/ci-job-prevent-merge-commitso1-labs/proof-systems:dw/ci-job-prevent-merge-commitsCopy head branch name to clipboard