What happens when you push to git.sr.ht, and why was it so slow? (2019) | Heykuki News