3 ms·What happens when you push to git.sr.ht, and why was it so slow? (2019)1 points by memorable 4y ago