Re: git question: How do I push a cherry-pick of someone else's commit?
- In reply to: Rick Macklem : "git question: How do I push a cherry-pick of someone else's commit?"
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Thu, 09 Jun 2022 19:36:05 UTC
What is the error message? Did you try “git push -f” > On 9. Jun 2022, at 21:33, Rick Macklem <rmacklem@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. >