Don't sign PDF commits as zeptodoctor

Instead, use the documenter@juliadocs.github.io email, which is consistent with JuliaDocs/Documenter.jl#1388.
JuliaLang · Sep 16, 2020 · 0e75152 · 0e75152
1 parent 640854b
commit 0e75152
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/pdf/make.jl b/pdf/make.jl
@@ -173,8 +173,8 @@ function commit()
         close(iossh)
         chmod(sshconfig, 0o600)
         # Configure git
-        run(`git config user.name "zeptodoctor"`)
-        run(`git config user.email "44736852+zeptodoctor@users.noreply.github.com"`)
+        run(`git config user.name "docs.julialang.org"`)
+        run(`git config user.email "documenter@juliadocs.github.io"`)
         run(`git remote set-url origin git@github.com:JuliaLang/docs.julialang.org.git`)
         run(`git config core.sshCommand "ssh -F $(sshconfig)"`)
         # Committing all .pdf files