Closed grovesNL closed 3 months ago
GitHub closed the original PR automatically while I was rebasing the PR - probably because I was trying to push the new commit to the remote
master
and there's some kind of special handling for default branches
In hopes of helping you understand what happened:
master
of the fork, which the PR was created from, to be equal with the master of gfx-rs/metal-rs
;You can sometimes recover from this by:
git push -f https://github.com/marcpabst/metal-rs 3be029b:master
in this case);master
branch of gfx-rs/metal-rs
but with the rebased/cherry-picked PR commit on top.Hope that helps!
Thanks! The strange thing is that I did attempt to force push a local branch that was already rebased with the new commit on top. Maybe I was on the wrong local branch by mistake but I don't think so.
The tip about reopening it is good - I'll try that next time. I wasn't sure if it would let me do that because the PR itself was giving me push access to that remote.
Rebased #300
GitHub closed the original PR automatically while I was rebasing the PR - probably because I was trying to push the new commit to the remote
master
and there's some kind of special handling for default branches