diff --git a/doc/devel/gitwash/development_workflow.rst b/doc/devel/gitwash/development_workflow.rst
index aed61d7e980a..4308777e267a 100644
--- a/doc/devel/gitwash/development_workflow.rst
+++ b/doc/devel/gitwash/development_workflow.rst
@@ -397,9 +397,8 @@ Deleting a branch on GitHub_
    # delete branch on GitHub
    git push origin :my-unwanted-branch
 
-(Note the colon ``:`` before ``test-branch``.  See also:
-http://github.com/guides/remove-a-remote-branch
-
+Note the colon ``:`` before ``my-unwanted-branch``.  See also:
+https://help.github.com/articles/removing-a-remote/
 
 Exploring your repository
 =========================