Broken git links in developer guide

[rcomer]

📚 Documentation

Our Development Workflow page has various links to documentation for git commands. Those links are defined here:

iris/docs/src/developers_guide/gitwash/git_links.inc

Lines 16 to 28 in 299b335

	.. _git clone: http://schacon.github.com/git/git-clone.html
	.. _git checkout: http://schacon.github.com/git/git-checkout.html
	.. _git commit: http://schacon.github.com/git/git-commit.html
	.. _git push: http://schacon.github.com/git/git-push.html
	.. _git pull: http://schacon.github.com/git/git-pull.html
	.. _git add: http://schacon.github.com/git/git-add.html
	.. _git status: http://schacon.github.com/git/git-status.html
	.. _git diff: http://schacon.github.com/git/git-diff.html
	.. _git log: http://schacon.github.com/git/git-log.html
	.. _git branch: http://schacon.github.com/git/git-branch.html
	.. _git remote: http://schacon.github.com/git/git-remote.html
	.. _git rebase: http://schacon.github.com/git/git-rebase.html
	.. _git config: http://schacon.github.com/git/git-config.html

http://schacon.github.com gives a 404.

It's ignored by the linkcheck

iris/docs/src/conf.py

Line 379 in 299b335

"http://schacon.github.com/git",

[rcomer]

My original thought when I saw this was that we should update these links to point to equivalent documentation on another site. But now I’m thinking maybe we should just remove them: git is a lot more mainstream than it was a decade ago, and I think we can reasonably expect contributors to google* those commands if they want more details.

*other search engines are available

[tkknight]

#5569 created to remove the broken git links.

[rcomer]

Closed by #5569.