The username under which gitlab is running, has changed from gitlab to git. If you get the following message when pushing or pulling: gitlab@gitlab.ai.vub.ac.be: Permission denied (publickey), then execute this command in your repository directory: git remote set-url origin git@gitlab.ai.vub.ac.be:namespace/project.git . (replace namespace and project by the appropriate values). Use git remote -v to check the current value.

Commit a0163b95 authored by remivantrijp's avatar remivantrijp

string= instead of equal to avoid the web interface from crashing due to...

string= instead of equal to avoid the web interface from crashing due to symbols defined in different packages.
parent be86291a
......@@ -83,7 +83,7 @@ div.empty-contributing-part { padding-left:10px; padding-right:10px;font-size:20
(let ((feature-type nil))
(loop for ft in feature-types
do
(when (equal feature-name (first ft))
(when (string= feature-name (first ft))
(setf feature-type (second ft))))
feature-type))
......@@ -94,7 +94,7 @@ div.empty-contributing-part { padding-left:10px; padding-right:10px;font-size:20
(let ((expansion-op nil))
(loop for ft in feature-types
do
(when (equal feature-name (first ft))
(when (string= feature-name (first ft))
(setf expansion-op (third ft))))
expansion-op))
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment