diff --git a/.github/actions/build-docs/upload.ros b/.github/actions/build-docs/upload.ros
index 762a836..f82678f 100755
--- a/.github/actions/build-docs/upload.ros
+++ b/.github/actions/build-docs/upload.ros
@@ -179,7 +179,7 @@ behaviour could be overriden by keyword argument ``:raise t``."
             ;;
             ;; To push changes back, we need to change
             ;; our HEAD back to the pull-request's reference:
-            (git "checkout" ref)
+            (git "checkout " ref)
             (git "remote add upstream "
                  (get-origin-to-push))
             (git "push upstream HEAD:" ref)))