Re: Thank you for public-inbox!

2018-08-31 Thread Eric Wong
Jonathan Nieder wrote: > Eric Wong wrote: > > Jonathan Nieder wrote: > >> Jeff King wrote: > > >>> I guess I just wonder if I set up a mirror on another domain, would > >>> anybody actually _use_ it? I'd think most people would just go to > >>> public-inbox.org as the de facto URL. > >> > >> If

Re: Thank you for public-inbox!

2018-08-30 Thread Jonathan Nieder
Eric Wong wrote: > Jonathan Nieder wrote: >> Jeff King wrote: >>> I guess I just wonder if I set up a mirror on another domain, would >>> anybody actually _use_ it? I'd think most people would just go to >>> public-inbox.org as the de facto URL. >> >> If it's faster than public-inbox.org and you

Re: Thank you for public-inbox!

2018-08-30 Thread Jeff King
On Thu, Aug 30, 2018 at 07:20:49AM +, Eric Wong wrote: > > At the very least, I think if we plan to reference without an http URL > > that we would use something like URI-ish, like . That gives > > tools a better chance to say "OK, I know how to find message-ids" > > (though I still think that

Re: Thank you for public-inbox!

2018-08-30 Thread Eric Wong
Jonathan Nieder wrote: > Jeff King wrote: > > > I guess I just wonder if I set up a mirror on another domain, would > > anybody actually _use_ it? I'd think most people would just go to > > public-inbox.org as the de facto URL. > > If it's faster than public-inbox.org and you don't mind the traf

Re: Thank you for public-inbox!

2018-08-30 Thread Eric Wong
Jeff King wrote: > On Wed, Aug 29, 2018 at 10:02:43AM +, Eric Wong wrote: > > Anyways I hope to teach public-inbox to auto-linkify Message-ID-looking > > strings "" into URLs for domain-portability, > > (but it's ambiguous with email addresses). But yeah, I don't > > like things being tied to

Re: Thank you for public-inbox!

2018-08-29 Thread Jonathan Nieder
Jeff King wrote: > I guess I just wonder if I set up a mirror on another domain, would > anybody actually _use_ it? I'd think most people would just go to > public-inbox.org as the de facto URL. If it's faster than public-inbox.org and you don't mind the traffic I would send, then I'll use it. :)

Re: Thank you for public-inbox!

2018-08-29 Thread Jeff King
On Wed, Aug 29, 2018 at 10:02:43AM +, Eric Wong wrote: > Jeff King wrote: > > 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. > > I wouldn't get too attache

Re: Thank you for public-inbox!

2018-08-29 Thread Ævar Arnfjörð Bjarmason
On Wed, Aug 29 2018, Andrei Rybak wrote: > On 2018-08-29 12:02, Eric Wong wrote: >> Anyways I hope to teach public-inbox to auto-linkify Message-ID-looking >> strings "" into URLs for domain-portability, >> (but it's ambiguous with email addresses). But yeah, I don't >> like things being tied t

Re: Thank you for public-inbox!

2018-08-29 Thread Andrei Rybak
On 2018-08-29 12:02, Eric Wong wrote: > Anyways I hope to teach public-inbox to auto-linkify Message-ID-looking > strings "" into URLs for domain-portability, > (but it's ambiguous with email addresses). But yeah, I don't > like things being tied to domain names. This would be very useful for peo

Re: Thank you for public-inbox!

2018-08-29 Thread Eric Wong
Jeff King wrote: > 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. I wouldn't get too attached to the domain, "public-inbox.org" is too long for my tastes anyways.

Re: Thank you for public-inbox!

2018-08-28 Thread Jeff King
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 alway

Re: Thank you for public-inbox!

2018-08-27 Thread Eric Wong
You're very welcome, Johannes. And I'm hoping to have a few more goodies live this fall/winter for public-inbox :>

Thank you for public-inbox!

2018-08-27 Thread Johannes Schindelin
Hi Eric, 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. Just a couple of things where it is super useful to me: - Recently, my mail provider started dropping mails left and