Don't redirect away from Mirror Repository settings when repo is empty.

Douwe Maanrequested to merge
mirror-empty-repo into master

Merge request reports