Rename MergeRequest#pipeline
We're all confused with MergeRequest#pipeline
and MergeRequest#all_pipelines
, so let's rename it to something more distinguishing.
@ayufan Proposed MergeRequest#head_pipeline
, which implies that it's from MergeRequest#diff_head_sha
, and it should be less confusing.
/cc @adamniedzielski @DouweM @rymai @grzesiek @smcgivern
edited: see !7664 (merged)