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

git subrepo push systems/tasks-and-processes

subrepo:
  subdir:   "systems/tasks-and-processes"
  merged:   "25d0325"
upstream:
  origin:   "gitlab@gitlab.ai.vub.ac.be:ehai/tasks-and-processes.git"
  branch:   "master"
  commit:   "25d0325"
git-subrepo:
  version:  "0.4.0"
  origin:   "https://github.com/ingydotnet/git-subrepo"
  commit:   "5d6aba9"
parent 14d3a12b
......@@ -6,7 +6,7 @@
[subrepo]
remote = gitlab@gitlab.ai.vub.ac.be:ehai/tasks-and-processes.git
branch = master
commit = 6d0b5df960d18e1859e18f962394ccd17c97b322
parent = 44dd20c21a47dddb6634ca4db95e5a4568dfc970
commit = 25d03257441e1b39e494b1d213680e2076a439c1
parent = 14d3a12b5b3dbba2674222e2b09b452542226146
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