Fix PR builds that are failing due to "broken links"#2142

dscho merged 1 commit intogit:gh-pagesgit/git-scm.com:gh-pagesfrom

dscho:fix-ci-errorsdscho/git-scm.com:fix-ci-errorsCopy head branch name to clipboard