On Friday, 6 March 2026 20:34:35 Central European Standard Time you wrote: > I'm okay with a force-push that re-arranges the history of the git repo. Done. > I'm not sure how many other people have a local clone of the repository > that may be impacted, but I assume it's very very few. Agreed All the best