On Mon, Nov 12, 2018 at 1:17 AM Ævar Arnfjörð Bjarmason
wrote:
>
>
> On Thu, Nov 01 2018, Elijah Newren wrote:
>
> > On Wed, Oct 31, 2018 at 12:16 PM Lars Schneider
> > wrote:
> >> > On Sep 24, 2018, at 7:24 PM, Elijah Newren wrote:
> >> > On Sun, Sep 23, 2018 at 6:08 AM Lars Schneider
> >> >
On Thu, Nov 01 2018, Elijah Newren wrote:
> On Wed, Oct 31, 2018 at 12:16 PM Lars Schneider
> wrote:
>> > On Sep 24, 2018, at 7:24 PM, Elijah Newren wrote:
>> > On Sun, Sep 23, 2018 at 6:08 AM Lars Schneider
>> > wrote:
>> >>
>> >> Hi,
>> >>
>> >> I recently had to purge files from large Git
On Wed, Oct 31, 2018 at 12:16 PM Lars Schneider
wrote:
> > On Sep 24, 2018, at 7:24 PM, Elijah Newren wrote:
> > On Sun, Sep 23, 2018 at 6:08 AM Lars Schneider
> > wrote:
> >>
> >> Hi,
> >>
> >> I recently had to purge files from large Git repos (many files, many
> >> commits).
> >> The usual
> On Sep 24, 2018, at 7:24 PM, Elijah Newren wrote:
>
> On Sun, Sep 23, 2018 at 6:08 AM Lars Schneider
> wrote:
>>
>> Hi,
>>
>> I recently had to purge files from large Git repos (many files, many
>> commits).
>> The usual recommendation is to use `git filter-branch --index-filter` to
>>
On Sun, Sep 23, 2018 at 6:08 AM Lars Schneider wrote:
>
> Hi,
>
> I recently had to purge files from large Git repos (many files, many commits).
> The usual recommendation is to use `git filter-branch --index-filter` to purge
> files. However, this is *very* slow for large repos (e.g. it takes 45m
On Sun, Sep 23, 2018 at 03:53:38PM +, brian m. carlson wrote:
> I suspect you're gaining speed mostly because you're running three
> processes total instead of at least one process (sh) per commit. So I
> don't think there's anything that Git can do to make this faster on our
> end without a
> On Sep 23, 2018, at 4:55 PM, Eric Sunshine wrote:
>
> On Sun, Sep 23, 2018 at 9:05 AM Lars Schneider
> wrote:
>> I recently had to purge files from large Git repos (many files, many
>> commits).
>> The usual recommendation is to use `git filter-branch --index-filter` to
>> purge
>> files
On Sun, Sep 23, 2018 at 03:04:58PM +0200, Lars Schneider wrote:
> Hi,
>
> I recently had to purge files from large Git repos (many files, many commits).
> The usual recommendation is to use `git filter-branch --index-filter` to purge
> files. However, this is *very* slow for large repos (e.g. it t
On Sun, Sep 23, 2018 at 9:05 AM Lars Schneider wrote:
> I recently had to purge files from large Git repos (many files, many commits).
> The usual recommendation is to use `git filter-branch --index-filter` to purge
> files. However, this is *very* slow for large repos (e.g. it takes 45min to
> re
Hi,
I recently had to purge files from large Git repos (many files, many commits).
The usual recommendation is to use `git filter-branch --index-filter` to purge
files. However, this is *very* slow for large repos (e.g. it takes 45min to
remove the `builtin` directory from git core). I realized
10 matches
Mail list logo