Pick branch

SunnySuite · Sep 19, 2023 · 85ba325 · 85ba325
1 parent ff9dc77
commit 85ba325
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/make.jl b/docs/make.jl
@@ -24,6 +24,7 @@ example_doc_paths = [joinpath("examples", "$name.md") for name in example_names]
 curdir = pwd()
 cd(joinpath(@__DIR__, "..", "SunnyTutorials"))
 run(`$(Git.git()) fetch --all`)
+run(`$(Git.git()) checkout -b main origin/main`)
 run(`$(Git.git()) pull`)
 cd(curdir)