@@ -6,6 +6,7 @@ zulip_bot_email=$2
66zulip_bot_api_key=$3
77github_personal_access_token=$4
88delete_history=$5
9+ archive_branch=$6
910
1011checked_out_repo_path=" $( pwd) "
1112html_dir_path=$checked_out_repo_path
@@ -36,7 +37,7 @@ auth_header="Authorization: Bearer ${github_personal_access_token}"
3637accept_header=" Accept: application/vnd.github.switcheroo-preview+json"
3738page_api_url=" https://api.github.com/repos/${GITHUB_REPOSITORY} /pages"
3839# Enable GitHub pages
39- curl -H " $auth_header " -H " $accept_header " --data " source=master " " $page_api_url "
40+ curl -H " $auth_header " -H " $accept_header " --data " source=${archive_branch} " " $page_api_url "
4041
4142print_site_url_code=" import sys, json; print(json.load(sys.stdin)['html_url'])"
4243github_pages_url_with_trailing_slash=$( curl -H " ${auth_header} " $page_api_url | python3 -c " ${print_site_url_code} " )
@@ -75,11 +76,11 @@ python3 archive.py -b
7576
7677cd ${checked_out_repo_path}
7778
78- git checkout master
79+ git checkout $archive_branch
7980
8081git fetch origin
8182
82- current_sha=" $( git rev-parse origin/master ) "
83+ current_sha=" $( git rev-parse origin/${archive_branch} ) "
8384
8485if [[ " $current_sha " != " $initial_sha " ]]
8586then
@@ -104,7 +105,7 @@ git commit -m "Update archive."
104105
105106git remote add origin2 https://${GITHUB_ACTOR} :${github_personal_access_token} @github.com/${GITHUB_REPOSITORY}
106107
107- git push origin2 master -f
108+ git push origin2 $archive_branch -f
108109
109110echo " pushed"
110111
0 commit comments