From 3011604c7254a81ca6e01474821d5e0a3236948b Mon Sep 17 00:00:00 2001 From: Bastian Date: Thu, 9 Jan 2020 12:04:01 +0100 Subject: [PATCH] added git remote website --- README.md | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 5940c32..446cb0f 100644 --- a/README.md +++ b/README.md @@ -1,11 +1,14 @@ # How to Git started ## Using a GUI -You can use any GUI for git, the ones we use are Fork and Sourcetree +You can use any GUI for git, the ones we use are Fork and Sourcetree
You can download these at https://www.sourcetreeapp.com/ and https://git-fork.com/ For other GUIs check out https://git-scm.com/downloads/guis/ +Our remote git server is located at https://git.web.rug.nl/
+You can log in with your p-number as password. + ### Learning objectives - Introduction to VCS - Create new repository @@ -16,7 +19,8 @@ For other GUIs check out https://git-scm.com/downloads/guis/ - Git pull request - Branching - Merge / Rebase -- Undoing Commits & Changes +- Amend commits +- Revert and reset - Tag - Log