actually fix the URL from GH doc

afvincent · afvincent · commit 9a8a9b0aaa77 · 2016-09-19T07:11:11.000+02:00
diff --git a/doc/devel/gitwash/development_workflow.rst b/doc/devel/gitwash/development_workflow.rst
@@ -398,7 +398,7 @@ Deleting a branch on GitHub_
    git push origin :my-unwanted-branch
 
 Note the colon ``:`` before ``my-unwanted-branch``.  See also:
-https://help.github.com/articles/removing-a-remote/
+https://help.github.com/articles/pushing-to-a-remote/#deleting-a-remote-branch-or-tag
 
 Exploring your repository
 =========================
