On Mon, 2019-08-12 at 16:35 -0700, Samuel Sieb wrote:
You could add it to your /etc/hosts file like: 127.0.0.2 the.bad.domain
This does seem like a roundabout solution to what has to be a common problem (wanting to blackban specific repos). For whatever reason people have wanted to do that, it ought to be possible to directly do it with the configuration for the software in question.
While some might argue it would best to have a bad repo removed from the pool, it could be the case that the repo is fine, just that the path between it and some users is a problem.