git push branchの指定を間違えた場合の対処法

Question

developerブランチにて、pushを行いました。
git checkout developer
この時、push時に誤って下記を実行してしまいました。
git push origin master
この時、Githubにはpushは反映されず、コマンド側では特に正常に完了してしましました。
こちらはどのようにして対処すればよろしいでしょうか？

Answer 1

GitHub 側で master ブランチを確認し、push したくなかった内容が push されていないか確認します
それが特になければ、問題はありません
正しいブランチを push し直します:

git push origin developer