diff --git a/.github/actions/build-docs/upload.ros b/.github/actions/build-docs/upload.ros index 56d39d0..cc43bf6 100755 --- a/.github/actions/build-docs/upload.ros +++ b/.github/actions/build-docs/upload.ros @@ -162,7 +162,12 @@ behaviour could be overriden by keyword argument ``:raise t``." (git "config --global user.email \"actions@github.com\"")) (git "commit -m 'Update docs'") - (git "push")) + (cond + ((uiop:getenv "GITHUB_HEAD_REF") + (git "push HEAD:" + (uiop:getenv "GITHUB_HEAD_REF"))) + (t + (git "push")))) ;; or (t (log:info "There is no local changes.")))))