Merge branch 'fixes-broken-doc-link' into 'master'

[docs] Git push-option documentation anchor seems to have changed.

See merge request gitlab-org/gitlab-ce!25971

doc/ci/yaml/README.md

@@ -2561,4 +2561,4 @@ git push -o ci.skip
 [environment]: ../environments.md "CI/CD environments"
 [schedules]: ../../user/project/pipelines/schedules.md "Pipelines schedules"
 [variables]: ../variables/README.md "CI/CD variables"
-[push-option]: https://git-scm.com/docs/git-push#git-push--oltoptiongt
+[push-option]: https://git-scm.com/docs/git-push#Documentation/git-push.txt--oltoptiongt