【メンテナンスのお知らせ】９月２４日（木）12:00〜13:00 に GitLab をバージョンアップします（19.3 → 19.4）。作業中の十数分は GitLab と CI が使えません。push や MR の操作は、作業時間を避けてください。
