presumably the robots.txt entry they are talking about is https://git.sr.ht/robots.txt