Using separate upstream.
This commit is contained in:
parent
70623a0051
commit
30eab4479d
1 changed files with 4 additions and 1 deletions
5
.github/actions/build-docs/upload.ros
vendored
5
.github/actions/build-docs/upload.ros
vendored
|
@ -164,7 +164,10 @@ behaviour could be overriden by keyword argument ``:raise t``."
|
||||||
|
|
||||||
(cond
|
(cond
|
||||||
((uiop:getenv "GITHUB_HEAD_REF")
|
((uiop:getenv "GITHUB_HEAD_REF")
|
||||||
(git "push origin HEAD:"
|
|
||||||
|
(git "remote add upstream "
|
||||||
|
(get-origin-to-push))
|
||||||
|
(git "push upstream HEAD:"
|
||||||
(uiop:getenv "GITHUB_HEAD_REF")))
|
(uiop:getenv "GITHUB_HEAD_REF")))
|
||||||
(t
|
(t
|
||||||
(git "push"))))
|
(git "push"))))
|
||||||
|
|
Loading…
Reference in a new issue