tree 39363c1c47111cbaf66eecd6b6e0274edbfa7b5c
parent 77bac8c26324bad3c4b903a5321a2b0a078881ba
author Josh Bleecher Snyder <josharian@gmail.com> 1748455859 +0000
committer Josh Bleecher Snyder <josharian@gmail.com> 1748457236 -0700

github: add Discord notification to commit queue workflow

The Discord notification workflow was not triggering when commits were
pushed to main via the commit queue because GitHub Actions doesn't
trigger workflows when pushes are made using GITHUB_TOKEN (security
feature).

This fix adds Discord notification directly to the queue-main.yml
workflow after successful push to main, ensuring notifications are sent
for both direct pushes and commit queue pushes.

Changes:
- Add commit SHA capture in push step to track which commit was pushed
- Add checkout step to ensure correct commit is available for git commands
- Add Discord notification step using existing .github/scripts/discord_notify.py
- Configure proper environment variables (DISCORD_WEBHOOK_FOR_COMMITS, GITHUB_SHA)

The existing discord-notify.yml workflow continues to work for direct
pushes to main, providing dual coverage for all scenarios.

Tested Discord notification script in test mode - generates proper embed
with commit message, author, and GitHub link.

Co-Authored-By: sketch <hello@sketch.dev>

Change-ID: s94d86820e52726b5k