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

Merged Douwe Maan requested to merge mirror-empty-repo into master