What happens when you push to git.sr.ht, and why was it so slow?sourcehut.org2 pointsjpgleeson7 years ago