don't require branch to exist

Author: pfitzseb

docs/make.jl

@@ -40,8 +40,15 @@ MultiDocumenter.make(
 
 gitroot = normpath(joinpath(@__DIR__, ".."))
 run(`git pull`)
-# we expect gh-pages to already be set up
-run(`git checkout gh-pages`)
+outbranch = "gh-pages"
+has_outbranch = true
+if !success(`git checkout $outbranch`)
+    has_outbranch = false
+    if !success(`git switch --orphan $outbranch`)
+        @error "Cannot create new orphaned branch $outbranch."
+        exit(1)
+    end
+end
 for file in readdir(gitroot; join = true)
     endswith(file, ".git") && continue
     rm(file; force = true, recursive = true)
@@ -50,6 +57,14 @@ for file in readdir(outpath)
     cp(joinpath(outpath, file), joinpath(gitroot, file))
 end
 run(`git add .`)
-run(`git commit -m 'Aggregate documentation'`)
-run(`git push`)
-run(`git checkout main`)
+if success(`git commit -m 'Aggregate documentation'`)
+    @info "Pushing updated documentation."
+    if has_outbranch
+        run(`git push`)
+    else
+        run(`git push -u origin $outbranch`)
+    end
+    run(`git checkout main`)
+else
+    @info "No changes to aggregated documentation."
+end