This weekend our networking guys decided to change ips for all of our servers. They also changed our subversion server’s ip. This caused some issues in the subversion world with developers who had checkouts pointing to ips instead of hostname, using command similar to:
svn co svn+ssh://192.168.1.10/svn/myrepos/ /home/mycheckout/
Now when they do “svn update” inside [...]