Edit requests of GitHub で一旦 merge された Pull Request が revert されたあと一連の commits を適用し直す