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
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
2 matches
Mail list logo