2026-09

PRを作ったのにdescriptionを書き忘れる、あるいは「後で書こう」と思ったまま放置してしまうことがよくあります。 なので「書け」と自分に言い聞かせるのではなく、git pushしたときに機械的に通知が出るようにしてみました。Web打...