mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-11-24 16:42:05 +00:00
More robust docs release
This commit is contained in:
parent
bc16624d39
commit
56bbdccccc
@ -31,9 +31,11 @@ then
|
|||||||
git add *
|
git add *
|
||||||
git add ".nojekyll"
|
git add ".nojekyll"
|
||||||
|
|
||||||
# Push to GitHub rewriting the existing contents.
|
|
||||||
git commit --quiet -m "Add new release at $(date)"
|
git commit --quiet -m "Add new release at $(date)"
|
||||||
git push --force origin master
|
|
||||||
|
# Push to GitHub rewriting the existing contents.
|
||||||
|
# Sometimes it does not work with error message "! [remote rejected] master -> master (cannot lock ref 'refs/heads/master': is at 42a0f6b6b6c7be56a469441b4bf29685c1cebac3 but expected 520e9b02c0d4678a2a5f41d2f561e6532fb98cc1)"
|
||||||
|
for _ in {1..10}; do git push --force origin master && break; sleep 5; done
|
||||||
|
|
||||||
if [[ ! -z "${CLOUDFLARE_TOKEN}" ]]
|
if [[ ! -z "${CLOUDFLARE_TOKEN}" ]]
|
||||||
then
|
then
|
||||||
|
Loading…
Reference in New Issue
Block a user