Skip to content

AUTO: Sync music-collection docs to personal site #17

AUTO: Sync music-collection docs to personal site

AUTO: Sync music-collection docs to personal site #17

# This workflow auto-creates PRs for docs that have been updated in my "music-collection" repository.
name: ✨ Auto-create PR - music-collection docs
on:
push:
branches:
- music-collection/**
jobs:
create-pull-request:
runs-on: ubuntu-latest
steps:
- name: Create pull request
uses: actions/github-script@v7
with:
script: |
const { repo, owner } = context.repo;
const result = await github.rest.pulls.create({
title: 'AUTO: Docs sync - `music-collection`',
owner,
repo,
head: '${{ github.ref_name }}',
base: 'main',
body: [
'This is an automated pull request (PR) to sync changes to docs in the [josh-wong/music-collection](https://github.com/josh-wong/music-collection) repo to this repo.',
'',
'Before merging this PR, confirm the following:',
'',
'- [ ] I have updated the side navigation to include new docs or remove deleted docs (if necessary).',
'- [ ] I have confirmed that this PR can be merged without waiting (if necessary).'
].join('\n')
});
github.rest.issues.addLabels({
owner,
repo,
issue_number: result.data.number,
labels: ['documentation', 'triage']
});