During summer vacation, Gitlab will be restart frequently. Use it carefully.
approved this merge request
merged
mentioned in commit 79495a41