Mergeしたプルリクを間違えてRevertしてしまった時の対応

結論

revertをrevertすれば良い

方法

ローカルのmasterブランチに移動

$ git checkout master

リモートリポジトリの内容を反映

$ git pull

ログを表示し、revertに振られたid?を確認

$ git log --oneline
7d146881 Revert "掲示板を作成"
42cdd131 掲示板を作成
.
.

revertをrevertする

$ git revert 7d146881

pushしてリモートに反映する

$ git push

参考

技術ブログっぽいなにか