ci: make sernbot run the list generator (#118)

This commit is contained in:
2024-08-03 10:16:47 +02:00
committed by GitHub
parent 2a548f8588
commit 8759a64861

View File

@@ -33,6 +33,7 @@ jobs:
commit_message: "chore: update plugin listing"
commit_options: '--no-verify --signoff'
repository: .
commit_user_name: "GitHub Actions"
commit_user_name: "sernbot"
commit_user_email: ${{ secrets.AUTOMATA_EMAIL }}
file_pattern: "pluginlist.json"
push_options: '--force'
push_options: '--force'