Re: Thank you for public-inbox!
- From
Jeff King <peff@peff.net>
- Date
- Aug 29, 2018, 05:07 UTC
- Message-ID
- <20180829050745.GD15274@sigill.intra.peff.net>
- In-Reply-To
- <nycvar.QRO.7.76.6.1808271552580.73@tvgsbejvaqbjf.bet>
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