Add https pull init support

.github/workflows/build.yml

@@ -22,7 +22,7 @@ jobs:
           mkdir -p /colcon_ws/src
           ln -s $(realpath .) /colcon_ws/src/bitbots_meta
       - name: Pull our software
-        run: awk '{sub("[email protected]:", "https://github.com/"); print "  " $0}' workspace.repos | vcs import .. --skip-existing
+        run: make pull-init --use-https
         working-directory: /colcon_ws/src/bitbots_meta
       - name: Install proprietary basler drivers
         run: make basler ARGS="-ci"

Makefile

@@ -1,5 +1,7 @@
 .PHONY : basler install pip pre-commit pull-all pull-init pull-files rosdep status update
 
+HTTPS_FLAG := --use-https
+
 basler:
 	scripts/make_basler.sh $(ARGS)
 
@@ -23,7 +25,11 @@ pull-all:
 
 pull-init:
 	git pull
-	vcs import .. < workspace.repos
+ifeq ($(filter $(HTTPS_FLAG),$(filter-out $<,$(MAKECMDGOALS))),$(HTTPS_FLAG))
+	awk '{sub("[email protected]:", "https://github.com/"); print "  " $$0}' workspace.repos | vcs import .. --skip-existing
+else
+	vcs import .. --skip-existing < workspace.repos
+endif
 	scripts/pull_files.bash
 
 pull-files: