Comment
Comment by BurpyDave
At the risk of getting bashed, isn't 'pinging a Microsoft server' what happens every time I clone, push, or pull from GitHub? There might be be bigger issues to deal with than apt repositories if you don't want to ping a Microsoft server.