Added a space.
This commit is contained in:
parent
92794e6dbe
commit
18f481aa61
1 changed files with 1 additions and 1 deletions
2
.github/actions/build-docs/upload.ros
vendored
2
.github/actions/build-docs/upload.ros
vendored
|
@ -179,7 +179,7 @@ behaviour could be overriden by keyword argument ``:raise t``."
|
||||||
;;
|
;;
|
||||||
;; To push changes back, we need to change
|
;; To push changes back, we need to change
|
||||||
;; our HEAD back to the pull-request's reference:
|
;; our HEAD back to the pull-request's reference:
|
||||||
(git "checkout" ref)
|
(git "checkout " ref)
|
||||||
(git "remote add upstream "
|
(git "remote add upstream "
|
||||||
(get-origin-to-push))
|
(get-origin-to-push))
|
||||||
(git "push upstream HEAD:" ref)))
|
(git "push upstream HEAD:" ref)))
|
||||||
|
|
Loading…
Reference in a new issue