Prefer hostnames over IPs
authorAlex Dehnert <alex@dehnerts.com>
Mon, 9 Oct 2023 04:26:33 +0000 (04:26 +0000)
committerAlex Dehnert <alex@dehnerts.com>
Mon, 9 Oct 2023 04:34:27 +0000 (04:34 +0000)
commit8e7b199d50bb9bc174ca229290318c6d093d5d96
tree57a296cbbfb5272e59830561c687cde9862755a6
parent79fb983e777399b9a3c3c009a4ed6220a4a12a19
Prefer hostnames over IPs

I feel like I flip-flop on this every couple years, and I'm not entirely sure
what prompted this one (maybe the question of how to reach bots?), but probably
I had a reason.
local.d/augsburg.cfg
local.d/bots.cfg
local.d/chankillo.cfg