Skip to content

Commit f80ca69

Browse files
committed
Force checkout
1 parent 4bb5ec0 commit f80ca69

File tree

1 file changed

+4
-3
lines changed

1 file changed

+4
-3
lines changed

docs/make-multi.jl

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -60,10 +60,10 @@ cp(joinpath(@__DIR__, "logo.svg"),
6060
@warn "Deploying to GitHub as MultiDocumenter"
6161
gitroot = normpath(joinpath(@__DIR__, ".."))
6262
run(`git pull`)
63-
run(`git stash`)
63+
6464
outbranch = "dep-multidocs"
6565
has_outbranch = true
66-
if !success(`git checkout $outbranch`)
66+
if !success(`git checkout -f $outbranch`)
6767
has_outbranch = false
6868
if !success(`git switch --orphan $outbranch`)
6969
run(`git branch`)
@@ -72,11 +72,12 @@ if !success(`git checkout $outbranch`)
7272
exit(1)
7373
end
7474
end
75-
run(`git stash drop`)
75+
@info "Cleaning up $gitroot."
7676
for file in readdir(gitroot; join = true)
7777
endswith(file, ".git") && continue
7878
rm(file; force = true, recursive = true)
7979
end
80+
@info "Copying aggregated documentation to $gitroot."
8081
for file in readdir(outpath)
8182
cp(joinpath(outpath, file), joinpath(gitroot, file))
8283
end

0 commit comments

Comments
 (0)