实验说明

请 fork 此 repo 到自己的仓库下，随后在自己的仓库中完成实验，请确保自己的 repo 为 Private。

目前已布置的实验

lab1
- DDL：2021-10-06(~~10-03~~) 23:59:59 (UTC+8)
lab2
- DDL：2021-10-22 23:59:59 (UTC+8)
lab3
- DDL: 2021-11-21 23:59:59 (UTC+8)
lab4
- DDL：
  - 阶段一：2021/11/29 23:59:59 (UTC+8)
  - 阶段二：~~2021/12/13~~ 2021/12/14 23:59:59 (UTC+8)
lab5
- DDL:
  - 报名期限：2021/12/15 23:59:59 (UTC+8)
  - 实验提交：2022/01/15 23:59:59 (UTC+8)
  - 答辩时间：考试周结束后，待定

In brief, you need another alias for upstream repository (we assume you are now in your local copy of forked repository on Gitlab):

$ git remote add upstream http://211.86.152.198:8080/staff/2021fall-compiler_cminus.git

Then try to merge remote commits to your local repository:

$ git pull upstream master

Then synchronize changes to your forked remote repository:

$ git push origin master