| ... | ... | @@ -105,13 +105,3 @@ From there, go to *Settings* to configure the plugin, enter https://git.webis.de |
|
|
|
The *Access Token* must be generated from your [GitLab Profile Page](https://git.webis.de/profile/personal_access_tokens).
|
|
|
|
|
|
|
|
After you click *Refresh*, you will see our project groups, which you can expand to find and clone individual projects. |
|
|
|
|
|
|
|
# Troubleshooting
|
|
|
|
Change mail:
|
|
|
|
- On webis.uni-weimar.de
|
|
|
|
```
|
|
|
|
sudo gitlab-rails console # takes some time
|
|
|
|
myuser = User.find_by_username('<username>')
|
|
|
|
myuser.email = "<email>"
|
|
|
|
myuser.save
|
|
|
|
``` |
|
|
\ No newline at end of file |
