During summer vacation, Gitlab will be restart frequently. Use it carefully.
requested review from @MinJ
assigned to @MinJ
approved this merge request
mentioned in commit 307e010f
merged