2020-12-01

なんと12月になってしまった。月初ということで、社の月初作業のissue立てをGitHub Actionsに移行したりしていた。明日はアドベントカレンダーの担当なのだが、夕方急遽ネタが降ってきたのでそれを書くことにした。