@@ -61,7 +61,7 @@ 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.
We provide a convenience command line tool called `webis` to help you work with Gitlab. This is installed on all of our lab machines and kept up-to-date by our staff. To install the `webis` command on your own machine, see the [Installation Instructions](webis-cmd-installation).
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: