Add workflow to avoid launching pipeline for MRs

assigned to @miguel.prada and unassigned @jon.azpiazu

marked this merge request as ready

Don't quite understand all the subtleties with the duplicate jobs caused by our introduction of rules in !60 (merged), but this seems to be the recommended way to get rid of the problem.

merged

mentioned in commit 2b2a1732