-
Be default, we don't create duplicate pipelines. Sometimes, however, this is precisely what we want to do, as "duplicate" is calculated off the existence of different merge_request_diff entries, and we don't always generate those. Changelog: added
6ecf1600