There's an SVN repo hosted in a server behind multiple ISPs, and depending on the ISP connection, the admin of that SVN server changes the repo's IP address and announces "hey, our IP address changed. Please relocate all of your stuff to xxx.xxx.xxx.xxx, kthnxbye".
Most days, this isn't too much of a hassle. Just a short script that relocates all of my working copies. But on some days, the repo's IP address changes a few times a day or flip flops within a span of minutes which is work-breaking.
I have no power to tweak the network that hosts the SVN (add load balancing etc.).
How should I handle this efficiently on my end?
Like a hosts file where instead of assigning multiple host names to one IP address, one host name handles multiple IP address automatically.
Reposted from superuser.com since it sounds more like a serverfault question.