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