Re: [PATCH 1/3] Revert "Add some ip's to mirrors rsync."

[Kevin Fenzi]

Seems fine to me.

I agree names are better than IP's usually as it allows us to easily
see who is who and also allows the other party to move things around if
they change dns without us having to modify our config. 

so, +1 here. 

kevin