Skip to content

generate JSON

generate JSON #23

Workflow file for this run

name: generate JSON
# generates json file from charter-related issues in W3C GH repo strategy
on:
schedule:
- cron: '0 12 * * *' # runs at 12:00 UTC everyday
issues:
types:
- opened
- labeled
jobs:
gen:
# The type of runner that the job will run on
runs-on: ubuntu-latest
# Steps represent a sequence of tasks that will be executed as part of the job
steps:
- name: checkout repo content
uses: actions/checkout@v4 # checkout the repository content to github runner
- name: setup python
uses: actions/setup-python@v5
with:
python-version: '3' # install the python version needed
- name: install python packages
run: |
python -m pip install --upgrade pip
pip install requests
- name: execute py script
run: |
python charters-dev.py
- name: Check if there are any changes
id: verify_diff
run: |
git diff --quiet . || echo "changed=true" >> $GITHUB_OUTPUT
- name: commit files
if: steps.verify_diff.outputs.changed == 'true'
run: |
git config --local user.email "[email protected]"
git config --local user.name "GitHub Action"
git add charters-dev.json
git commit -m "update json" -a
- name: push changes
if: steps.verify_diff.outputs.changed == 'true'
uses: ad-m/[email protected]
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
branch: main