Petr Baudis <[EMAIL PROTECTED]> writes:
>> I can probably fix it if anyone cares, but it's not something I use
>> personally, so I don't know if it's worthwhile. It should probably be
>> removed if we don't fix it, since it will fail on any popular repository
>> at this point.
>
> I want to use
On Thu, 4 Aug 2005, Petr Baudis wrote:
> Dear diary, on Wed, Aug 03, 2005 at 07:11:00PM CEST, I got a letter
> where [EMAIL PROTECTED] told me that...
> > IIRC, git-local-pull still doesn't work for a packed source repository,
> > because it doesn't include the possibility of copying a pack (or
Dear diary, on Wed, Aug 03, 2005 at 07:11:00PM CEST, I got a letter
where [EMAIL PROTECTED] told me that...
> IIRC, git-local-pull still doesn't work for a packed source repository,
> because it doesn't include the possibility of copying a pack (or
> extracting an object) if the requested object
3 matches
Mail list logo
