Edit requests of GitHub の Web UI で PR をマージした時のコミットのメタデータ（あるいは失敗談）