Skip to content
Build

Bump registry_tools/GEDCOM.io from 3774701 to 3a7c408 (#78) #60

Sign in to view logs

Bump registry_tools/GEDCOM.io from 3774701 to 3a7c408 (#78)

Bump registry_tools/GEDCOM.io from 3774701 to 3a7c408 (#78) #60

Workflow file for this run

.github/workflows/generate-files.yml at 5be1034
# This action will create generated files, and is done whenever the main branch is updated.
#
# For documentation on the github environment, see
# https://docs.github.com/en/actions/using-github-hosted-runners/about-github-hosted-runners
#
# For documentation on the syntax of this file, see
# https://docs.github.com/en/actions/reference/workflow-syntax-for-github-actions
---
name: Build
on:
push:
branches: [main]
permissions:
contents: read
jobs:
generate-files:
permissions:
contents: write # for Git to git push
pull-requests: write # for Git to create a pull request
runs-on: ubuntu-latest
steps:
- name: Check out repository
uses: actions/checkout@v4
with:
submodules: 'recursive'
- name: Generate files
working-directory: ${{github.workspace}}
run: |
python registry_tools/syncstandard.py
python registry_tools/makeTSV.py
python registry_tools/makeJSON.py
- name: Set git config
env:
GH_TOKEN: ${{ github.token }}
run: |
git config --global user.email "${GITHUB_ACTOR}@users.noreply.github.com"
git config --global user.name "$(gh api /users/${GITHUB_ACTOR} | jq .name -r)"
git config -l
- name: Check for diffs
id: diff
run: |
git diff --quiet origin/main . || echo "::set-output name=status::changes"
shell: bash
- name: Create Pull Request
if: steps.diff.outputs.status == 'changes'
run: |
git checkout -b generated-files
git add .
git commit -m "Update generated files"
git push -f origin generated-files
if ! gh pr list | grep -q "generated-files"; then
gh pr create -B main -H generated-files --title 'Update generated files' --body $'Update generated files\nThis PR is auto-generated by [gh pr create].' --label 'automated pr'
fi
env:
GH_TOKEN: ${{ github.token }}