Remove repo dropdown selector from file header bar

Created by: benvenker

It doesn’t ever load repositories and it’s not clear why you’d ever want to filter the file view on a repository