Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
zulip/docs/git
History
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 docs: Split 'git-guide.md`. 2017-11-23 16:04:18 -08:00
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