Remotes.Remote?

trixi-framework · Jul 15, 2024 · eb66194 · eb66194
1 parent 748cc59
commit eb66194
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/docs/make.jl b/docs/make.jl
@@ -25,5 +25,6 @@ makedocs(;
          plugins = [links],)
 
 deploydocs(;
-           repo = "github.com/trixi-framework/TrixiAtmo.jl",
-           devbranch = "main",)
+           repo = Github("trixi-framework", "TrixiAtmo.jl"),
+           devbranch = "main",
+           push_preview = false)