chore(docs): We use main, not master

This commit is contained in:
James P. Howard, II
2023-01-21 21:56:18 -05:00
parent 2e212ad5c6
commit 3af8d8b8e0

View File

@@ -94,11 +94,11 @@ highlight_language = 'cpp'
# The short X.Y version.
github_ref = os.getenv("GITHUB_REF", "")
if github_ref == "":
git_ref = "master"
git_ref = "main"
else:
match = re.match(r"refs/(heads|tags|pull)/(?P<ref>.+)", github_ref)
if not match:
git_ref = "master"
git_ref = "main"
else:
git_ref = match.group("ref")