Skip to content

Commit

Permalink
Merge pull request #124 from galaxyproject/paulzierep-patch-2
Browse files Browse the repository at this point in the history
Update fetch_all_tools.yaml
  • Loading branch information
bebatut authored Jun 24, 2024
2 parents 0c1d47e + 5c5d38e commit c4e902e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/fetch_all_tools.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ jobs:
git config user.name github-actions
git config user.email [email protected]
git pull --no-rebase -s recursive -X ours
git add results
git add data
git status
git diff --quiet && git diff --staged --quiet || (git commit -m "fetch all tools bot - step get available servers")
git push
Expand Down

0 comments on commit c4e902e

Please sign in to comment.