More push debugging

kibot-ci.yml

@@ -123,11 +123,10 @@ image:
             fi
             REPO=$(basename $(git remote get-url origin))
             git remote set-url origin https://ci_push:$TOKEN@gitlab.com/Micromelon/education/hardware/$REPO
-            git fetch --all
+            git fetch origin
             CURR_B=$(git branch --remote --verbose --no-abbrev --contains | sed -rne 's/^[^\/]*\/([^\ ]+).*$/\1/p')
-            git log
             git rev-parse HEAD
-            git branch --remote
+            git branch -a
             git remote get-url origin
             echo $CURR_B 
             git checkout origin/$CURR_B