... | ... | @@ -21,7 +21,7 @@ for more detail. |
|
|
Before all, [clone the repository](https://help.github.com/en/github/creating-cloning-and-archiving-repositories/cloning-a-repository). Alternatively, to change the remote of an already existing repo:
|
|
|
```bash
|
|
|
git remote rename origin old-origin
|
|
|
git remote add origin https://git.rwth-aachen.de/bosss1/experimental
|
|
|
git remote add origin git@git.rwth-aachen.de:bosss1/experimental.git
|
|
|
```
|
|
|
|
|
|
Working with GitLab is straight forward:
|
... | ... | |