gh-cliのマージを信用するな

以下の処理を完了したが、GitHub-WebUI上では処理が完了していなかった。

❯ gh pr merge dev/9
# => ? Pull request xxx/demosite-11932#9 was already merged. Delete the branch locally? No

ただそれだけ。

だが重大な欠陥だ。

gh-cli, 便利だけど「チャラい」ツールだと思っておいた方がいい。他にもBugがあった気がする。

類例報告:

• https://github.com/cli/cli/issues/3884 # 直ってないのにClosed

マージはGitHub WebUIで行うのが確実です。