Change Repology workflow to create pull requests (#9926)

This commit is contained in:
Maximilian Downey Twiss
2024-06-08 08:55:02 +10:00
committed by GitHub
parent e0846506ff
commit 3076ef3892

View File

@@ -20,8 +20,12 @@ jobs:
CREW_KERNEL_VERSION: 5.1 CREW_KERNEL_VERSION: 5.1
run: | run: |
ruby -Ctools json.rb ruby -Ctools json.rb
- name: Generate JSON - name: Create Pull Request
run: | uses: peter-evans/create-pull-request@v6
# The || true here means that empty commits fail, so we don't pollute the repo history. with:
git commit -o tools/repology.json -m "Update Repology JSON" || true add-paths: "tools/repology.json"
git push title: "Update Repology JSON"
body: "Automatic PR to update tools/repology.json"
author: "github-actions[bot]"
commit-message: "Update Repology JSON"
delete-branch: true