1回休み

GitHub が大変なことになっていて Web UI を使ったもろもろができなかったため、GitHub Enterprise などでの作業が中心で1回休み。