During summer vacation, Gitlab will be restart frequently. Use it carefully.
merged
mentioned in commit 3d5bb8f1