diff options
author | Pete Johanson <peter@peterjohanson.com> | 2020-08-07 23:35:48 -0400 |
---|---|---|
committer | Pete Johanson <peter@peterjohanson.com> | 2020-08-07 23:35:48 -0400 |
commit | 5039a508311bcd74c1aaef7542c3b6e1c6a01929 (patch) | |
tree | 6cabe8346b20de6ac916cc14d7035f31623a1833 /docs | |
parent | b25133cbefbeecbdde0ba6206d9cd54d7f2c1a12 (diff) |
Tweak git usage for backwards compatibility.
* Closes #76
Diffstat (limited to 'docs')
-rw-r--r-- | docs/static/setup.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/static/setup.sh b/docs/static/setup.sh index a122994..1a72224 100644 --- a/docs/static/setup.sh +++ b/docs/static/setup.sh @@ -120,7 +120,7 @@ git commit -m "Initial User Config." if [ -n "$github_repo" ]; then git remote add origin "$github_repo" - git push --set-upstream origin $(git branch --show-current) + git push --set-upstream origin $(git symbolic-ref --short HEAD) # TODO: Support determing the actions URL when non-https:// repo URL is used. if [ "${github_repo}" != "${github_repo#https://}" ]; then |