Skip to content

Merge remote-tracking branch 'origin/main' #194

Merge remote-tracking branch 'origin/main'

Merge remote-tracking branch 'origin/main' #194

Workflow file for this run

name: Update wiki
# Controls when the workflow will run
on:
# Triggers the workflow on push events but only for the "main" branch
push:
branches: [ "main" ]
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Setup Python
uses: actions/[email protected]
with:
python-version: 3.11.3
- name: Checkout threatmodel repo
uses: actions/checkout@v3
- name: Generate wiki files
run: |
pip install -r requirements.txt
python3 src/wiki/build-wiki.py
- name: Clone wiki
run: |
mkdir -p /tmp/wiki/
git clone https://${{ secrets.DEV_GITHUB_TOKEN }}@github.com/edamametechnologies/threatmodels.wiki.git /tmp/wiki
- name: Move files to the wiki repo
run: |
cp *.md /tmp/wiki/
- name: Push to wiki
run: |
cd /tmp/wiki
git config user.email "[email protected]"
git config user.name "Edamame Dev"
git add .
git commit -m "docs: Updated wiki files"
git push