Hi, On Sun, 01 Dec 2024 at 14:26, Ludovic Courtès <l...@gnu.org> wrote:
> Not sure if there’s something we can do to make the transition smoother, > such as introducing a merge commit with > 5fb77cce01f21a03b8f5a9c873067691cf09d057 as one of its parents. I think the transition – of those who haven’t yet – would be smoother if commit 5fb77 is removed (force push) from the gitlab.inria.fr repository and thus the migration would be only indicated in the ’Project information’ field. The repository is already in archive mode so an indication via ’Project information’ appears to me enough. And it avoids the breakage. Well, I am not convinced the information by commit 5fb77 really helps but for sure its collateral breaks the transition. For the ones who have already pulled commit 5fb77, nothing can be done. But the others, removing commit 5fb77 from gitlab.inria.fr makes the transition easier for them, IMHO. Cheers, simon
