Correct docs that mirror push is in Core
What does this MR do?
Mirror push was moved to Core in 10.8. check https://gitlab.com/gitlab-org/gitlab-ce/merge_requests/18715
Mirror push was moved to Core in 10.8. check https://gitlab.com/gitlab-org/gitlab-ce/merge_requests/18715