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