[EE] Add support for Git push options, specifically ci.skip (!8992) · Merge requests · GitLab.org / GitLab · GitLab

Douwe Maan requested to merge JonathonReinhart/gitlab-ce-18667-handle-push-opts-ee into master Jan 02, 2019

EE port of https://gitlab.com/gitlab-org/gitlab-ce/merge_requests/15643 by @JonathonReinhart.