2020-11-20 11/20(金) 家でだらだら。やりかけだった某gemのパッチの修正をするなど。修正は直ぐ終わったんだけど、CIが終わらなくてはーーー。とらびすなー。CI変えろ! はPRでやりたくないんだよなあ。issueだけたてようかなあ。