2020-01-21

git のブランチ名を変更するのは -m-M であると覚えた。

$ man git-branch

       -m, --move
           Move/rename a branch and the corresponding reflog.

       -M
           Shortcut for --move --force.

twitterの相談 に勝手にアドバイスしているうちに #runtime_infoをファイルに出力する 方法がわかった。 Process.group_leader/2 の使いみちがよくわかっていなかったのだけど、こういうときに便利なのだな。