Update fetch_all_tools.yaml

.github/workflows/fetch_all_tools.yaml

@@ -27,6 +27,16 @@ jobs:
       - name: Run script 
         run: | 
           python ./bin/get_public_galaxy_servers.py -o data/available_public_servers.csv
+      - name: Commit servers 
+        # add or commit any changes in results if there was a change, merge with main, and push as bot
+        run: |
+          git config user.name github-actions
+          git config user.email [email protected]
+          git pull --no-rebase -s recursive -X ours
+          git add results
+          git status
+          git diff --quiet && git diff --staged --quiet || (git commit -m "fetch all tools bot  - step get available servers") 
+          git push
 
   fetch-all-tools-stepwise:
     runs-on: ubuntu-20.04