diff --git a/.github/workflows/fetch_all_tools.yaml b/.github/workflows/fetch_all_tools.yaml index 8e8ba610..864c00c1 100644 --- a/.github/workflows/fetch_all_tools.yaml +++ b/.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 github-actions@github.com + 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