Skip to content

Commit

Permalink
Only push if there are differences
Browse files Browse the repository at this point in the history
  • Loading branch information
timtebeek committed Aug 19, 2024
1 parent c5b5e02 commit 417ed5d
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/advisories.yml
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@ jobs:
run: |
./gradlew parseGithubAdvisoryDatabase --args="./advisory-database Maven src/main/resources/advisories-maven.csv"
sort --output=src/main/resources/advisories-maven.csv src/main/resources/advisories-maven.csv
git diff-index --quiet HEAD src/main/resources/advisories-maven.csv || git commit --message "${{ env.MSG }}" src/main/resources/advisories-maven.csv && git push origin main
git diff-index --quiet HEAD src/main/resources/advisories-maven.csv || (git commit --message "${{ env.MSG }}" src/main/resources/advisories-maven.csv && git push origin main)
# Load SSH deploy-key
- uses: webfactory/ssh-agent@v0.9.0
Expand All @@ -55,5 +55,5 @@ jobs:
./gradlew parseGithubAdvisoryDatabase --args="./advisory-database NPM rewrite-nodejs/src/main/resources/advisories-npm.csv"
cd rewrite-nodejs/
sort --output=src/main/resources/advisories-npm.csv src/main/resources/advisories-npm.csv
git diff-index --quiet HEAD src/main/resources/advisories-npm.csv || git commit --message "${{ env.MSG }}" src/main/resources/advisories-npm.csv && git push origin main
git diff-index --quiet HEAD src/main/resources/advisories-npm.csv || (git commit --message "${{ env.MSG }}" src/main/resources/advisories-npm.csv && git push origin main)
2 changes: 1 addition & 1 deletion .github/workflows/migrations.yml
Original file line number Diff line number Diff line change
Expand Up @@ -40,4 +40,4 @@ jobs:
run: echo "NOW=$(date +'%Y-%m-%dT%H%M')" >> $GITHUB_ENV
- name: Commit and push
run: |
git diff-index --quiet HEAD src/main/resources/migrations.csv || git commit -m "[Auto] Old GroupId migrations as of ${{ env.NOW }}" src/main/resources/migrations.csv && git push origin main
git diff-index --quiet HEAD src/main/resources/migrations.csv || (git commit -m "[Auto] Old GroupId migrations as of ${{ env.NOW }}" src/main/resources/migrations.csv && git push origin main)

0 comments on commit 417ed5d

Please sign in to comment.