Skip to content

Commit

Permalink
Add logging
Browse files Browse the repository at this point in the history
  • Loading branch information
Gerrit0 committed Nov 18, 2023
1 parent 6a9077b commit 82e0e54
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions scripts/commit_web_api_changes.sh
Original file line number Diff line number Diff line change
@@ -1,6 +1,9 @@
#!/bin/bash

set -e

if git diff --exit-code data/web-api.json >/dev/null; then
echo "Web API index changed, building new release"
version=$(npm version patch --git-tag-version=false)

extra=$"\
Expand All @@ -25,4 +28,6 @@ extra=$"\
git add README.md ./package.json ./package-lock.json ./data/web-api.json
git commit -m "[github-actions] Update Web API Index";
git push
else
echo "No web API changes"
fi

0 comments on commit 82e0e54

Please sign in to comment.