update CI

paulzierep · Nov 28, 2023 · 42581d4 · 42581d4
1 parent 35b3ec8
commit 42581d4
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/filter_communities.yaml b/.github/workflows/filter_communities.yaml
@@ -19,7 +19,7 @@ permissions:
   contents: write
 
 jobs:
-  fetch-all-tools:
+  filter-all-tools:
     runs-on: ubuntu-20.04
     steps:
     - uses: actions/checkout@v3
@@ -32,9 +32,9 @@ jobs:
       env:
         GITHUB_API_KEY:  ${{ secrets.GITHUB_TOKEN }}
     - name: Commit results
+      # commit the new filtered data, only if stuff was changed
       run: |
         git config user.name github-actions
         git config user.email [email protected]
-        git add results
-        git commit -m "filter communities bot"
+        git diff --quiet || (git add results && git commit -m "filter communities bot") 
         git push