On Sun, Oct 29, 2023 at 07:25:38AM +0200, Stijn Tintel wrote:
> On 24/10/2023 15:25, Christian Marangi wrote:
> > On Tue, Oct 24, 2023 at 02:21:35PM +0200, Bjørn Mork wrote:
> >> Christian Marangi writes:
> >>
> >>> Anyway I have also found this [1]... if it does actually works, it might
> >>>
On 24/10/2023 15:25, Christian Marangi wrote:
On Tue, Oct 24, 2023 at 02:21:35PM +0200, Bjørn Mork wrote:
Christian Marangi writes:
Anyway I have also found this [1]... if it does actually works, it might be
THE solution to our specific problem. Wonder if someone can test it on a
sample
On Tue, Oct 24, 2023 at 02:21:35PM +0200, Bjørn Mork wrote:
> Christian Marangi writes:
>
> > Anyway I have also found this [1]... if it does actually works, it might be
> > THE solution to our specific problem. Wonder if someone can test it on a
> > sample repository.
> >
> > [1]
On Tue, Oct 24, 2023 at 02:25:06PM +0200, Christian Marangi wrote:
> On Tue, Oct 24, 2023 at 02:21:35PM +0200, Bjørn Mork wrote:
> > Christian Marangi writes:
> >
> > > Anyway I have also found this [1]... if it does actually works, it might
> > > be
> > > THE solution to our specific problem.
On Tue, Oct 24, 2023 at 02:21:35PM +0200, Bjørn Mork wrote:
> Christian Marangi writes:
>
> > Anyway I have also found this [1]... if it does actually works, it might be
> > THE solution to our specific problem. Wonder if someone can test it on a
> > sample repository.
> >
> > [1]
Christian Marangi writes:
> Anyway I have also found this [1]... if it does actually works, it might be
> THE solution to our specific problem. Wonder if someone can test it on a
> sample repository.
>
> [1] https://devblogs.microsoft.com/oldnewthing/20190919-00/?p=102904
Nice! Seems to work.
On Tue, Oct 24, 2023 at 01:40:22PM +0200, Bjørn Mork wrote:
> Ack on the broken history problem.
>
> I don't think it's necessary to keep two separate histories though. The
> main issue is the periodical removal of files keeping parts of history,
> resulting in an increasing number of file names
Ack on the broken history problem.
I don't think it's necessary to keep two separate histories though. The
main issue is the periodical removal of files keeping parts of history,
resulting in an increasing number of file names to follow for the
complete history.
Doing
git mv config-5.15