in line editing.
If I understood what you said I would rephrase it with less words like
- set up a proxy [and filter the host: header (if you feel the need to]
- do a local mirror
3) bypass DNS and just use a particular mirror host (some better suggestions proposed for putting the IP in the repo files); this should probably be your least desirable path)
Thanks
but yes, that's what seems (at least to me) to the most reasonable ways to fix this problem.