What is the error message? Did you try “git push -f”
> On 9. Jun 2022, at 21:33, Rick Macklem <rmack...@uoguelph.ca> wrote: > > I just tried to MFC a commit done to fix my commit by imp@ > and it won't let be push the cherry-pick. > > What's the trick to doing this? > Or do I need to get Warner to do it? > If so, it's 393b7606f9c1 in main, that needs to go into stable/13. > > rick > ps: The stable/13 build will be broken until this gets resolved. > I'll revert the MFC if it isn't fixed soon. >
