diff options
| author | flip1995 <hello@philkrones.com> | 2020-07-16 14:42:13 +0200 |
|---|---|---|
| committer | flip1995 <hello@philkrones.com> | 2020-07-16 14:42:13 +0200 |
| commit | c65eb4d66314d22d85cf2e58ff20ec1ca7404751 (patch) | |
| tree | 151486df63db9b2768a5dee768f0ba6b261f3698 | |
| parent | ef896faa0153d0d96b6d6eafe7dd53b178525a25 (diff) | |
| download | rust-c65eb4d66314d22d85cf2e58ff20ec1ca7404751.tar.gz rust-c65eb4d66314d22d85cf2e58ff20ec1ca7404751.zip | |
Track tag files, before checking for the diff
| -rw-r--r-- | .github/deploy.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/deploy.sh b/.github/deploy.sh index e0a95fb9f36..e85e8874ba6 100644 --- a/.github/deploy.sh +++ b/.github/deploy.sh @@ -34,6 +34,8 @@ git config user.name "GHA CI" git config user.email "gha@ci.invalid" if [[ -n $TAG_NAME ]]; then + # track files, so that the following check works + git add --intent-to-add "$TAG_NAME" if git diff --exit-code --quiet -- $TAG_NAME/; then echo "No changes to the output on this push; exiting." exit 0 |