<@U0UKJ9R88> despite its name, a "ping" is not an ...
# general
s
@clean-fish-15260 despite its name, a "ping" is not an ICMP ECHO, it actually attempts to connect to the url: https://github.com/pantsbuild/pants/blob/db9b1bebd2099709be3938bd980a3e313b86852a/src/python/pants/cache/pinger.py#L35