Adopt merge request pipelines
Following up from !325 (comment 235030694)
We need to fully move to merge request pipelines, otherwise some pushes might create confusing two pipelines at the same time!
On the above screenshot, we can also see the pipelines are out of orders.
Edited by Lin Jen-Shin