I fork this lab and do this for fun.
请fork此repo
到自己的仓库下,随后在自己的仓库中完成实验,请确保自己的repo
为Private
。
- lab1
- DDL : 2020/10/13, 23:59:59
- lab2
- DDL : 2020/10/30, 23:59:59
- lab3
- DDL : 2020/11/16, 23:59:59
- lab4
- DDL : 2020/12/07, 23:59:59
- lab5
- DDL-Phase1 :2020/12/21 23:59:59 (北京标准时间,UTC+8)
- DDL-Phase2 :2021/01/04 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):
(shell) $ git remote add upstream http://222.195.68.197/staff/2020fall-compiler_cminus.git
Then try to merge remote commits to your local repository:
(shell) $ git pull upstream master
Then synchronize changes to your forked remote repository:
(shell) $ git push origin master