Is there a way to customize the name of the commit generated by Documenter.deploydocs()?
Not currently, but would be happy to take a PR for this. The code that calls git commit with a hard-coded message lives here: Documenter.jl/Documenter.jl at 23c160811f80ee2dcc63dcc7414dc159344a4902 · JuliaDocs/Documenter.jl · GitHub
1 Like