From 85ba3259cf8afe0391f9e096dc1fbfb72a5b3f39 Mon Sep 17 00:00:00 2001 From: ddahlbom Date: Tue, 19 Sep 2023 17:04:34 -0400 Subject: [PATCH] Pick branch --- docs/make.jl | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/make.jl b/docs/make.jl index 8edcc4f6c..2a16d4a43 100644 --- 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)