【github】PRにほかの人のコミットが入ってしまったとき

メモレベル。

OSSで開発していて、普通にpullとかしていたら、なんか他人のコミットが紛れ込んできた。

ブランチ派生元のmainブランチが変わってしまったときとかに起こりうるっぽい。

そんな時は、

いったんgit pull --rebase origin main そいで、git push -f

アーイ！！！！！