2023年4月7日

mainにgit commit, pushしてから、あ、これブランチを切ってそっちをpushすべきだったな、と気づく。駄目だ。Git力が恐ろしく衰えている。

輪講用にPRMLを注文した。