During summer vacation, Gitlab will be restart frequently. Use it carefully.
See #20 (closed).
Merge details
Mentions issue #20 (closed)
enabled an automatic merge when the pipeline for 1471e2a9 succeeds
merged
mentioned in commit 17e872de
feedback to tooltime@ajou.ac.kr or hwan@ajou.ac.kr