During summer vacation, Gitlab will be restart frequently. Use it carefully.
0801 See merge request !6