PR作成後にcommit commentの先頭にPR番号を一括で追加する

一括でprefixを追加してコミットメッセージを GH-{num}: message に変更する。

git filter-branch でもできるはずだけど、Deprecatedなので git filter-repo を使う。

--message-callback はPythonでコードが書けてちょっと長くなるけど便利

code:add_pr_num_prefix

$ git filter-repo --force --refs main..HEAD --message-callback '

if not re.match(b"GH-0-9*: ", message):

pr_number = subprocess.check_output("hub pr show -f %I", shell=True)

message = b"GH-" + pr_number.strip() + b": " + message

return message'