Turn off git's message about default branch name in deploydocs.jl#2854

fingolfin merged 6 commits intoJuliaDocs:masterJuliaDocs/Documenter.jl:masterfrom

abhro:patch-1abhro/Documenter.jl:patch-1Copy head branch name to clipboard