Re: dumb HTTP things I want to do

2019-05-14 Thread Jeff King
On Tue, May 14, 2019 at 12:13:50PM +, Eric Wong wrote: > I'm not sure when/if I'll have time for this; but this ought to > be possible: > > GIT_DIR=$HTTP_URL git > > And possible without existing admins to setup or change > anything on their server. > [...] > git doesn't need mmap; an

dumb HTTP things I want to do

2019-05-14 Thread Eric Wong
Eric Wong wrote: > Jeff King wrote: > > That's my reading, too, but I didn't want to be responsible for > > regressing some obscure case. At least Eric seems to _use_ > > update-server-info. ;) > > I also have something else on my mind for abusing info files with :> > (another email) I'm not su