Commit d8435637 authored by Jens Nevens's avatar Jens Nevens

set subrepo back to https

parent 97da8564
...@@ -4,7 +4,7 @@ ...@@ -4,7 +4,7 @@
; git-subrepo command. See https://github.com/git-commands/git-subrepo#readme ; git-subrepo command. See https://github.com/git-commands/git-subrepo#readme
; ;
[subrepo] [subrepo]
remote = gitlab@gitlab.ai.vub.ac.be:rvantrijp/category-hierarchies.git remote = https://gitlab.ai.vub.ac.be/rvantrijp/category-hierarchies.git
branch = master branch = master
commit = 0c31577a5859b5b2ce1a8212bd81785902f55c08 commit = 0c31577a5859b5b2ce1a8212bd81785902f55c08
parent = 252e1d97ad59c84cea8e6f94ae1eb87af2e423e4 parent = 252e1d97ad59c84cea8e6f94ae1eb87af2e423e4
......
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