fix(ci): more git push retries for feed; document HTTP 500 and temp branch
Co-authored-by: Cursor <cursoragent@cursor.com>
This commit is contained in:
@@ -136,6 +136,8 @@ jobs:
|
||||
ARTIFACT_LINUX: ${{ github.workspace }}/release
|
||||
DND_FEED_TMP_ROOT: ${{ github.workspace }}/.dnd-feed-tmp
|
||||
DND_UPDATES_SQUASH_HISTORY: '1'
|
||||
DND_GIT_PUSH_RETRIES: '8'
|
||||
DND_GIT_PUSH_RETRY_SLEEP_SEC: '35'
|
||||
GIT_COMMIT_TAG: ${{ github.ref_name }}
|
||||
run: |
|
||||
set -euo pipefail
|
||||
|
||||
Reference in New Issue
Block a user