diff --git a/CHANGELOG.md b/CHANGELOG.md index d3059f6dfd..1dc4143ee9 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -8,7 +8,7 @@ * ![Enhancement][badge-enhancement] When deploying on CI with `deploydocs`, the build information in the version number (i.e. what comes after `+`) is now discarded when determining the destination directory. This allows custom tags to be used to fix documentation build and deployment issues for versions that have already been registered. ([#1298][github-1298]) -* ![Enhancement][badge-enhancement] You can now optionally choose to push pull request preview builds to a different branch and/or different repository than the main docs builds, by setting the optional `branch_previews` and/or `repo_previews` keyword arguments to the `deploydocs` function. Also, you can now optionally choose to use a different SSH key for preview builds, by setting the optional `DOCUMENTER_KEY_PREVIEWS` environment variable; if the `DOCUMENTER_KEY_PREVIEWS` environment variable is not set, then the regular `DOCUMENTER_KEY` environment variable will be used. +* ![Enhancement][badge-enhancement] You can now optionally choose to push pull request preview builds to a different branch and/or different repository than the main docs builds, by setting the optional `branch_previews` and/or `repo_previews` keyword arguments to the `deploydocs` function. Also, you can now optionally choose to use a different SSH key for preview builds, by setting the optional `DOCUMENTER_KEY_PREVIEWS` environment variable; if the `DOCUMENTER_KEY_PREVIEWS` environment variable is not set, then the regular `DOCUMENTER_KEY` environment variable will be used. ([#1307][github-1307], [#1310][github-1310]) * ![Bugfix][badge-bugfix] `Deps.pip` is again a closure and gets executed during the `deploydocs` call, not before it. ([#1240][github-1240]) @@ -570,6 +570,8 @@ [github-1298]: https://github.com/JuliaDocs/Documenter.jl/pull/1298 [github-1299]: https://github.com/JuliaDocs/Documenter.jl/pull/1299 [github-1311]: https://github.com/JuliaDocs/Documenter.jl/pull/1311 +[github-1307]: https://github.com/JuliaDocs/Documenter.jl/pull/1307 +[github-1310]: https://github.com/JuliaDocs/Documenter.jl/pull/1310 [documenterlatex]: https://github.com/JuliaDocs/DocumenterLaTeX.jl [documentermarkdown]: https://github.com/JuliaDocs/DocumenterMarkdown.jl diff --git a/src/Documenter.jl b/src/Documenter.jl index 9dd4f64403..b2989002e2 100644 --- a/src/Documenter.jl +++ b/src/Documenter.jl @@ -484,7 +484,7 @@ function deploydocs(; @debug "running extra build steps." make() end - @debug "pushing new documentation to remote: '$deploy_branch:$branch'." + @debug "pushing new documentation to remote: '$deploy_repo:$deploy_branch'." mktempdir() do temp git_push( root, temp, deploy_repo;