Anders Kaseorg c6da0d13cd docs: Update links to skip help.github.com redirects. ...

help.github.com seems to have a bug where HEAD on a redirected page
returns 404.  This causes tools/test-documentation to fail.  Fix it by
skipping the redirects.

Signed-off-by: Anders Kaseorg <andersk@mit.edu>

2019-02-26 11:03:08 -08:00

..

cheat-sheet.md

git cheat sheet: Be a bit less agressively anti-git-pull.

2017-11-28 09:15:13 -08:00

cloning.md

docs: Update links to skip help.github.com redirects.

2019-02-26 11:03:08 -08:00

collaborate.md

docs: Update links to skip help.github.com redirects.

2019-02-26 11:03:08 -08:00

fixing-commits.md

docs: Update links to skip help.github.com redirects.

2019-02-26 11:03:08 -08:00

index.rst

docs: Move zulip-specific tools earlier in the Git guide.

2018-11-29 14:03:29 -08:00

overview.md

docs: Update git/overview docs to reflect CI changes.

2018-12-29 15:28:27 -08:00

pull-requests.md

docs: Update links to skip help.github.com redirects.

2019-02-26 11:03:08 -08:00

reviewing.md

git-docs: Make links to Zulip's git-tools at relevant places.

2017-11-26 11:14:16 -08:00

setup.md

docs: Update links to skip help.github.com redirects.

2019-02-26 11:03:08 -08:00

terminology.md

…

the-git-difference.md

docs: Fix a typo in the-git-difference.md.

2019-02-22 13:01:45 -08:00

troubleshooting.md

docs: Update links to skip help.github.com redirects.

2019-02-26 11:03:08 -08:00

using.md

docs: Update links to skip help.github.com redirects.

2019-02-26 11:03:08 -08:00

working-copies.md

git-dogs: Move working-copies to docs/git.

2017-11-26 09:15:50 -08:00

zulip-tools.md

docs: Document push-to-pull-request tooling.

2019-02-18 10:40:16 -08:00