Signed-off-by: Anders Kaseorg <anders@zulip.com>
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>