Skip to content

Set max width for md editor tooltip, Add untitled key, Add logo alt text to metadata #198

Set max width for md editor tooltip, Add untitled key, Add logo alt text to metadata

Set max width for md editor tooltip, Add untitled key, Add logo alt text to metadata #198

Workflow file for this run

name: Cleanup GitHub pages
on:
pull_request_target:
types: [closed]
jobs:
cleanup-pages:
name: Delete demo page when PR closed
runs-on: ubuntu-latest
steps:
- name: Checkout 🛎️
uses: actions/checkout@v3
with:
ref: 'gh-pages'
- name: Delete files
shell: bash
run: |
git config --global user.email "fengyilei1@gmail.com"
git config --global user.name "Yi Lei Feng"
git rm -r ${{ github.head_ref }}/*
git commit -a -m 'Delete PR demo from GH pages ${{ github.head_ref }}'
git push origin HEAD:gh-pages