Skip to content

Puts Michael Cooper as former editor (#2255) #4

Puts Michael Cooper as former editor (#2255)

Puts Michael Cooper as former editor (#2255) #4

Workflow file for this run

name: core-aam ED
on:
push:
branches:
- 'main'
paths:
- 'common/**'
- 'core-aam/**'
workflow_dispatch:
jobs:
dispatch:
runs-on: ubuntu-latest
steps:
- name: Dispatch to core-aam repo
run: |
curl -L -X POST \
-H "Accept: application/vnd.github+json" \
-H "Authorization: Bearer ${{secrets.ARIA_EDITOR_DRAFTS}}" \
-H "X-GitHub-Api-Version: 2022-11-28" \
https://api.github.com/repos/w3c/core-aam/actions/workflows/build-from-monorepo.yaml/dispatches \
-d '{"ref":"gh-pages"}'
update-core-aam:
runs-on: ubuntu-latest
steps:
- name: Checkout monorepo
uses: actions/checkout@v4
with:
ref: main
path: aria
sparse-checkout: |
core-aam
common
- uses: w3c/spec-prod@v2
with:
TOOLCHAIN: respec
SOURCE: aria/core-aam/index.html
DESTINATION: aria/core-aam/index.html
ARTIFACT_NAME: core-aam
- name: Checkout core-aam repo
uses: actions/checkout@v4
with:
repository: w3c/core-aam
ref: gh-pages
path: core-aam
token: ${{ secrets.ARIA_EDITOR_DRAFTS }}
- uses: actions/download-artifact@v4
with:
name: core-aam
path: core-aam/
# - name: Copy files
# run: |
# cp -r aria/common core-aam
# cp -r aria/core-aam .
- name: Push new files to child repo
run: |
git config user.name "github-actions[bot]"
git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
git add .
git commit -m "Sync from monorepo"
git push origin gh-pages
working-directory: core-aam