From 588079e53b2ff5886f8bd6657baa6386083877d5 Mon Sep 17 00:00:00 2001 From: Steve Baskauf Date: Sat, 16 Sep 2023 19:12:22 -0500 Subject: [PATCH] correct default branch for production in script --- build/build-termlist.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/build-termlist.py b/build/build-termlist.py index 237ea10..85e51be 100644 --- a/build/build-termlist.py +++ b/build/build-termlist.py @@ -22,7 +22,7 @@ import yaml # headers are not. To build a page using the sample files, you will need to reverse the # commenting of these pairs. -github_branch = 'main' # "main" for production, something else for development +github_branch = 'master' # "master" for production, something else for development # This is the base URL for raw files from the branch of the repo that has been pushed to GitHub githubBaseUri = 'https://raw.githubusercontent.com/tdwg/rs.tdwg.org/' + github_branch + '/'