From ac4699917735910d327c38547021e9ee33e91d29 Mon Sep 17 00:00:00 2001 From: GWDx Date: Mon, 19 Sep 2022 17:01:47 +0800 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 2d4bfae..6a63109 100644 --- a/README.md +++ b/README.md @@ -12,7 +12,7 @@ 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/2021fall-compiler_cminus.git +$ git remote add upstream git@202.38.79.174:compiler_staff/2022fall-compiler_cminus.git ``` Then try to merge remote commits to your local repository: -- GitLab