Both URLs can be looked up and copied from the project page in GitLab.
## 3.1 Note to Former CVS Users
Please be aware that, unlike CVS or SVN, Git is a *distributed* version control system. That means that a `git commit` only commits into your local working copy. To push the changes back to our central GitLab instance, you have to use `git push` after committing your changes. It is strongly recommended to commit often and in small atomic units with meaningful commit messages. That way you document your work progress and create a comprehensible history. Once your work is finished or at the end of a work day, you can bulk-push all your commits back to the server with a single `git push` (of course you an push more often if you like).
Other than CVS, Git also makes branching easy and cheap. It is therefore quite convenient to work with different branches once you have made yourself familiar with Git. Therefore, if you are feeling comfortable enough with Git already and are working on a larger new feature, you can create and switch to a new branch with `git checkout -b branchname`. When your work is finished, you can merge the changes back into the main branch with `git merge`. If the main branch has diverged in the meantime, you can incorporate the changes using `git rebase` before merging your feature branch back in. More information about [branching and merging](https://git-scm.com/book/en/v2/Git-Branching-Basic-Branching-and-Merging) and [rebasing](https://git-scm.com/book/en/v2/Git-Branching-Rebasing) can be found in the free online Git book.
## 3.2 Further Resources
If you need further instructions on working with Git from the command line, you can find many good tutorials online, such as the following:
@@ -50,7 +56,6 @@ If you need further instructions on working with Git from the command line, you
# 4 Working with the `webis` Command Line Tool
We provide a convenience command line tool called `webis` to help you work with Gitlab. This will be installed on all of our lab machines; instructions for installation on your own machine will follow.
If this tool is already installed on your lab machine, run `webis git init` and follow the instructions to configure it. Following that, there are several ways to clone multiple projects from GitLab: