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

Commit 31e99b83 authored by Jens Nevens's avatar Jens Nevens

git subrepo push systems/corpus-processing

  subdir:   "systems/corpus-processing"
  merged:   "4726b70"
  origin:   ""
  branch:   "master"
  commit:   "4726b70"
  version:  "0.4.0"
  origin:   ""
  commit:   "5d6aba9"
parent 3f41a815
......@@ -6,7 +6,7 @@
remote =
branch = master
commit = 3f25429b9cbdd96b8706052912435822084bf9ec
parent = 06b65e1a0498b5f375ab1d024cc161152dba1c6f
commit = 4726b703c3f43b02f53aaa4ebdd8af4321ba880c
parent = 3f41a815ceef5d8e21877165d4ec3a94225db1b0
cmdver = 0.4.0
method = merge
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