From 18f481aa61d0c8fa9a6f8450602b9ff0960ccde8 Mon Sep 17 00:00:00 2001 From: Alexander Artemenko Date: Sun, 7 Feb 2021 02:19:16 +0300 Subject: [PATCH] Added a space. --- .github/actions/build-docs/upload.ros | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)))