commit bddc92de9c7427028195e3aa598ec1ce71fe52f5
author Marc Kupietz <kupietz@ids-mannheim.de> Mon Jan 23 08:10:31 2023 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> Mon Jan 23 18:56:40 2023 +0100
tree 06099539348ed16671626c2d9aa4bdfe0e980b1b
parent 7c3f9f64f80f713d2a27add5976bb98c22effaaf

Try to fix GH sync

Change-Id: I7c2a119f0be6fa467337935efcdf0e89fc9e37fa

default.xml

diff --git a/default.xml b/default.xml
index 3b0f84a..3e56dd9 100644
--- a/default.xml
+++ b/default.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8" ?>
 <manifest>
-  <remote name="github" fetch="https://github.com/" review="korap.ids-mannheim.de/gerrit" />
+  <remote name="github" fetch=".." review="korap.ids-mannheim.de/gerrit" />
   <remote name="private" fetch="http://gitlab.ids-mannheim.de/" review="korap.ids-mannheim.de/gerrit"/>
 
   <default revision="refs/heads/master" remote="github" sync-c="true" sync-j="4" />