During summer vacation, Gitlab will be restart frequently. Use it carefully.
Update lab0510/lab0510.md See merge request !1