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

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