Skip to content

Commit

Permalink
Merge pull request #140 from the-database/dev
Browse files Browse the repository at this point in the history
Update schema.yml
  • Loading branch information
the-database authored Dec 17, 2024
2 parents 470c012 + 1ce612b commit 3eb4754
Showing 1 changed file with 19 additions and 7 deletions.
26 changes: 19 additions & 7 deletions .github/workflows/schema.yml
Original file line number Diff line number Diff line change
Expand Up @@ -34,11 +34,23 @@ jobs:
run: |
python scripts/options/generate_schema.py
# Commit and push the generated schema to the repository
- name: Commit and push generated schema
uses: EndBug/add-and-commit@v9
# Commit changes to a new branch
- name: Commit changes to new branch
run: |
git checkout -b update-json-schema
git add schemas/redux-config.schema.json
git commit -m "Update generated JSON schema"
# Push the new branch to GitHub
- name: Push new branch
run: |
git push origin update-json-schema
# Create a pull request targeting master
- name: Create pull request
uses: peter-evans/create-pull-request@v7
with:
author_name: 'the-database'
author_email: '25811902+the-database@users.noreply.github.com'
message: 'Update generated JSON schema'
token: ${{ secrets.GH_USER_TOKEN }} # Use your personal access token
title: "Update generated JSON schema"
body: "This PR updates the generated JSON schema."
head: update-json-schema
base: master

0 comments on commit 3eb4754

Please sign in to comment.