In the repo push/pull settings, the option to set a mirror user has no dropdown field to select the user
Summary
On GitLab.com and local instance running 9.0, 9.0.1, and 9.0.2 the dropdown to select a Mirror user under Pull from a remote repository in /settings/repository is missing.
What is the current bug behavior?
From GitLab.com:
What is the expected correct behavior?
From local instance running 8.17.4 EE:
