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 75f4c11c authored by Jens Nevens's avatar Jens Nevens

git subrepo push systems/nlp-tools

subrepo:
  subdir:   "systems/nlp-tools"
  merged:   "aa0cf83"
upstream:
  origin:   "gitlab@gitlab.ai.vub.ac.be:ehai/nlp-tools.git"
  branch:   "master"
  commit:   "aa0cf83"
git-subrepo:
  version:  "0.4.0"
  origin:   "https://github.com/ingydotnet/git-subrepo"
  commit:   "5d6aba9"
parent 1735e851
......@@ -6,7 +6,7 @@
[subrepo]
remote = gitlab@gitlab.ai.vub.ac.be:ehai/nlp-tools.git
branch = master
commit = db04b6eca10dbcbc6df9d7d7d0e563c5c2a98d75
parent = 797cc47e0b1008d20469184fecb0211ca6d5aaa2
commit = aa0cf833dbbdde972bd8eae3f0bc14763dd927d6
parent = 1735e8512c1f7ed6e5a438baa008d38ed55bdb79
method = merge
cmdver = 0.4.0
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