Prevent concurrent deployments#1905

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

dscho:prevent-concurrent-deploymentsdscho/git-scm.com:prevent-concurrent-deploymentsCopy head branch name to clipboard