diff --git a/assignments-conf.html b/assignments-conf.html index e917882..5ea3302 100644 --- a/assignments-conf.html +++ b/assignments-conf.html @@ -104,7 +104,8 @@ $ cd cth2016-assignments
When your (now empty) github repo is created, you need to copy its url:

and add a "remote origin" to your local git repo with this command
-git remote add origin [your-github-https-url]
+git remote add origin your-github-https-url
+where you replace "your-github-https-url" with your actual github url (for instance, on my repo it is: https://github.com/gauthiier/cth2016-assignments.git)
When this is done, you can now push your local changes to the online github repo
git push origin master
diff --git a/assignments-conf.md b/assignments-conf.md
index 4a60084..c75e8e1 100644
--- a/assignments-conf.md
+++ b/assignments-conf.md
@@ -58,7 +58,9 @@ When your (now empty) github repo is created, you need to copy its url:
and add a "remote origin" to your local git repo with this command
- git remote add origin [your-github-https-url]
+ git remote add origin your-github-https-url
+
+where you replace "your-github-https-url" with your actual github url (for instance, on my repo it is: https://github.com/gauthiier/cth2016-assignments.git)
### git push