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 ef1f3e1a authored by remivantrijp's avatar remivantrijp

Added string= as test to avoid package conflicts.

parent 93f9fdc7
......@@ -124,7 +124,7 @@
(setq found feature)
(setq found (third feature))))))
found)
(find name (unit-features unit) :key #'feature-name)))
(find name (unit-features unit) :key #'feature-name :test #'string=)))
;; Unreliable function:
(defun unit-tag-feature (unit feature-name)
......
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