2020年のやらかし一覧 に続いて、最近のやらかしも残しておきます。 PRがマージされたときだけPR番号を取得しそこねる PR番号を取得するのに GITHUB_REF を使いがちですが、マージされたときだけはマージ先ブランチ名が入ってきてしまうので完全ではありませ…