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

git subrepo push systems/fcg

subrepo:
  subdir:   "systems/fcg"
  merged:   "bd913b5"
upstream:
  origin:   "gitlab@gitlab.ai.vub.ac.be:ehai/fcg.git"
  branch:   "master"
  commit:   "bd913b5"
git-subrepo:
  version:  "0.4.0"
  origin:   "https://github.com/ingydotnet/git-subrepo"
  commit:   "5d6aba9"
parent 03cf639e
......@@ -6,7 +6,7 @@
[subrepo]
remote = gitlab@gitlab.ai.vub.ac.be:ehai/fcg.git
branch = master
commit = 36fa39aaf8651ff96630ef11e4b8afca7f103feb
parent = c2d35413254e7df024f17a754ceb74beb33cdc99
commit = bd913b54b1b58dd1c49e940089f1b4d7e6cd3dcb
parent = 03cf639e4a481c6f5cd1f94d553aba08ed2b6d9c
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