Learn more about these different git repos.
Other Git URLs
c2ec01a
put users search box back in the user listing page Fixes #3638