paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-10-30 19:43:47 +00:00
Code Issues Packages Projects Releases Wiki Activity

docs: Fix Git capitalization.

Browse Source 
Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg
2022-02-28 13:15:06 -08:00
committed by Tim Abbott
parent f244c2eca4
commit 503127c2e9
7 changed files with 16 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tools/documentation_crawler/documentation_crawler/spiders/common/spiders.py
View File

@@ -93,7 +93,7 @@ class BaseDocumentationSpider(scrapy.Spider):
if url.startswith(ZULIP_SERVER_GITHUB_FILE_URL_PREFIX) or url.startswith(
ZULIP_SERVER_GITHUB_DIRECTORY_URL_PREFIX
):
# We can verify these links directly in the local git repo without making any requests to GitHub servers.
# We can verify these links directly in the local Git repo without making any requests to GitHub servers.
return False
if "github.com/zulip" in url:
# We want to check these links but due to rate limiting from GitHub, these checks often