Leslie Lam
09/20/2023, 2:36 PMbranch-a and merged it to main (and therefore deleted it from remote). If I try to create a new PR with the same branch, I get an error that Force-with-lease push failed because of external changes. Running the recommended gt get also doesn’t work, because there is no remote ref.
It’s not a big deal because I can just push/open the PR with --force, but wondering if that’s bad / I’m missing something hereAryaman
09/20/2023, 2:38 PMLeslie Lam
09/20/2023, 2:55 PMAryaman
09/20/2023, 2:56 PMgt submit -f (assuming no one is collaborating on this branch with you -- in that case things will get a lil tricky)Alyssa Baum
09/20/2023, 5:33 PM