Push local changes to head ref.
This commit is contained in:
parent
e2f8986051
commit
2f6a7970e9
1 changed files with 6 additions and 1 deletions
7
.github/actions/build-docs/upload.ros
vendored
7
.github/actions/build-docs/upload.ros
vendored
|
@ -162,7 +162,12 @@ behaviour could be overriden by keyword argument ``:raise t``."
|
||||||
(git "config --global user.email \"actions@github.com\""))
|
(git "config --global user.email \"actions@github.com\""))
|
||||||
(git "commit -m 'Update docs'")
|
(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
|
;; or
|
||||||
(t (log:info "There is no local changes.")))))
|
(t (log:info "There is no local changes.")))))
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue