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

	# 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']
	});

Provide feedback