Skip docs preview for dependabot PRs (#4554)

Author: lgoettgens

docs/make.jl

@@ -4,12 +4,18 @@ include(normpath(joinpath(Oscar.oscardir, "docs", "make_work.jl")))
 
 BuildDoc.doit(Oscar; warnonly=false, local_build=false, doctest=false)
 
+should_push_preview = true
+if get(ENV, "GITHUB_ACTOR", "") == "dependabot[bot]"
+  # skip preview for dependabot PRs as they fail due to lack of permissions
+  should_push_preview = false
+end
+
 deploydocs(
    repo   = "github.com/oscar-system/Oscar.jl.git",
 #  deps = Deps.pip("pymdown-extensions", "pygments", "mkdocs", "python-markdown-math", "mkdocs-material", "mkdocs-cinder"),
    deps = nothing,
    target = "build",
-   push_preview = true,
+   push_preview = should_push_preview,
 #  make = () -> run(`mkdocs build`),
    make = nothing,
    forcepush = true