Re: Pause /usr-merge moves

2023-12-04 Thread David Kalnischkies
On Mon, Dec 04, 2023 at 01:13:43PM +0100, Helmut Grohne wrote: > David Kalnischkies made me aware […] Oh, did he? I think he wanted to tell you something else…  As IRC seems to be really bad at transporting complicated things (who had guessed?) and I need to sort my thoughts anyhow let me

Re: Pause /usr-merge moves

2023-12-04 Thread Helmut Grohne
Hi developers, On Fri, Dec 01, 2023 at 10:04:12PM +0100, Helmut Grohne wrote: > Before we go, let me express sincere thanks to so many people that > helped me track this down. In particular, the input of David > Kalnischkies, Guillem Jover and Julian Andres Klode was invaluable. I got more

Re: Pause /usr-merge moves

2023-12-02 Thread Bastien Roucariès
Le vendredi 1 décembre 2023, 21:04:12 UTC Helmut Grohne a écrit : > Hi developers, > > I have unfortunate news regarding /usr-merge. I uncovered yet another > problem that we haven't seen mentioned earlier. We do not yet know how > to deal with it and it may take some time to come up with a good

Pause /usr-merge moves

2023-12-01 Thread Helmut Grohne
Hi developers, I have unfortunate news regarding /usr-merge. I uncovered yet another problem that we haven't seen mentioned earlier. We do not yet know how to deal with it and it may take some time to come up with a good compromise. As a result, please pause further moves from / to /usr.