Repository navigation

Fix cross-platform path handling in RSS feed generator #960

	name: Discord Notify
Check warning on line 1 in .github/workflows/discord_notify.yml View workflow run for this annotation GitHub Actions / Discord Notify Workflow execution policy warning (evaluate mode) On December 2, 2026, GitHub will restrict `pull_request_target` on public repositories by default. To continue allowing the event trigger, configure an Actions policy. Learn more: https://gh.io/securely-using-pull_request_target#default-policy-for-pull_request_target

	on:
	pull_request_target:
	types: [opened, ready_for_review]

	permissions: {}

	jobs:
	check_maintainer:
	uses: react/react/.github/workflows/shared_check_maintainer.yml@main
	permissions:
	# Used by check_maintainer
	contents: read
	with:
	actor: ${{ github.event.pull_request.user.login }}

	notify:
	if: ${{ needs.check_maintainer.outputs.is_core_team == 'true' }}
	needs: check_maintainer
	runs-on: ubuntu-latest
	steps:
	- name: Discord Webhook Action
	uses: tsickert/discord-webhook@v6.0.0
	with:
	webhook-url: ${{ secrets.DISCORD_WEBHOOK_URL }}
	embed-author-name: ${{ github.event.pull_request.user.login }}
	embed-author-url: ${{ github.event.pull_request.user.html_url }}
	embed-author-icon-url: ${{ github.event.pull_request.user.avatar_url }}
	embed-title: '#${{ github.event.number }} (+${{github.event.pull_request.additions}} -${{github.event.pull_request.deletions}}): ${{ github.event.pull_request.title }}'
	embed-description: ${{ github.event.pull_request.body }}
	embed-url: ${{ github.event.pull_request.html_url }}