fix: preserve release logs during pre-push release
This commit is contained in:
@@ -4,7 +4,7 @@ set -euo pipefail
|
||||
ROOT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
|
||||
REMOTE_NAME="${1:-origin}"
|
||||
QUIET_RELEASE="${QUIET_RELEASE:-1}"
|
||||
RELEASE_LOG="${RELEASE_LOG:-$ROOT_DIR/build/release.log}"
|
||||
RELEASE_LOG="${RELEASE_LOG:-$ROOT_DIR/.git/release.log}"
|
||||
|
||||
if [[ -n "${SKIP_RELEASE:-}" ]]; then
|
||||
echo "release: skipped (SKIP_RELEASE=1)"
|
||||
@@ -76,7 +76,7 @@ else
|
||||
fi
|
||||
|
||||
if SKIP_RELEASE=1 git -C "$ROOT_DIR" push --quiet "$REMOTE_NAME" "${release_local_ref:-refs/heads/master}:${release_remote_ref:-refs/heads/master}"; then
|
||||
echo "release: success v${NEW_VERSION}"
|
||||
echo "release: success v${NEW_VERSION} (release commit already pushed; stopping original push)"
|
||||
exit 1
|
||||
else
|
||||
echo "release: push failed (log: $RELEASE_LOG)"
|
||||
|
||||
Reference in New Issue
Block a user