Docs - product feedback: Mirror Repository "Pull" (Mirror Direction)
<!--IssueSummary start-->
<details>
<summary>
Everyone can contribute. [Help move this issue forward](https://handbook.gitlab.com/handbook/marketing/developer-relations/contributor-success/community-contributors-workflows/#contributor-links) while earning points, leveling up and collecting rewards.
</summary>
- [Close this issue](https://contributors.gitlab.com/manage-issue?action=close&projectId=278964&issueIid=329367)
</details>
<!--IssueSummary end-->
**Description**: According to [Pulling from a remote repository section of GitLab docs](https://docs.gitlab.com/ee/user/project/repository/repository_mirroring.html#pulling-from-a-remote-repository) the "Mirror direction" dropdown should be set to "Pull", but the dropdown is disabled for me.
**Version**: GitLab Enterprise Edition 13.12.0-pre 61130ebf9ea
**Screenshot** of grayed-out "Mirror direction"" dropdown in repository settings:

<!-- Don't edit below this line -->
issue