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