Skip to content

+ 10 GPTs

+ 10 GPTs #63

Workflow file for this run

name: Generate TOC on PR Merge
on:
pull_request_target:
types:
- closed
branches:
- main
jobs:
if_merged:
if: github.event.pull_request.merged == true
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v3
- name: Set up Python 3
uses: actions/setup-python@v3
with:
python-version: '3.x'
- name: Run TOC generation script
run: |
chmod +x .scripts/idxtool.py
python3 .scripts/idxtool.py --toc
- name: Commit TOC updates
run: |
git config --global user.name 'LouisShark'
git config --global user.email 'mshark.louis@gmail.com'
git add .
git commit -m "docs: Update TOC.md" || echo "No changes to commit"
git pull --rebase
git push origin HEAD:main
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}