On Mon, Nov 11, 2024 at 3:15 PM Gary Guo <gary@xxxxxxxxxxx> wrote: > > That sounds reasonable to me. So for next cycles we have a commit that > fixes up remaining renames, and then apply the other commits? Yeah -- that way at least we get the new infrastructure there. We may need to give other trees a branch with the commits that change the mapping, so that they can write new code that does not break when we all merge. Or perhaps we may just simplify and do a final remapping right after a merge window as a special case even if it is not a pure fix -- that would be easier to successfully do at once. Either that or we do something fancier to avoid a flag day, but hopefully we will not need it. Thanks! Cheers, Miguel
