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