On Mon, Aug 27, 2018 at 04:25:13PM +0200, Johannes Schindelin wrote: > I would like to take five minutes to thank you for public-inbox. It is > invaluable for me in the meantime. And I think I will never be able to > thank you enough for it. Let me echo that appreciation. I have always kept my own archive of the list, but it's so valuable to have stable URLs for communicating with other folks (and I find the general design of public-inbox _way_ more useful than gmane ever was). > P.S.: FWIW I added a mirror of public-inbox to > https://git-for-windows.visualstudio.com/git.public-inbox, so that my > automated tasks, as well as my playing around, does not stress your server > too much. I've thought about mirroring it to a public server as well, just for redundancy. But without the same domain, I'm not sure it would be all that useful as a community resource. Eric, let me know if there's something there that would help (e.g., putting more servers in DNS round-robin). -Peff
