GitHub上でプルリクをマージした後に、まだマージできる状態では無かったと気付きrevertする事ってありませんか？その後に問題になるのが、revertしたのはいいけど、引き続きそのrevert…