If the user dont have merge privilege, the pipeline not suppose doing auto deploy
furthermore, the admin must rerun the deployment step to make sure
the deployment vs merged to master, and
version in master vs production is more controllable
How to detect in pipeline, whether the pull-request triggering pipeline is auto merge ?