acmcsuf.com
acmcsuf.com copied to clipboard
Gitcord: Add workflow dispatch trigger
What's your idea?
Add Workflow dispatch trigger to .github/workflows/gitcord.yaml.
This allows developers to manually trigger Gitcord in case of any errors. For example, I suspect that issues/PRs opened by GitHub users that are not collaborators of this repository are unable to trigger Gitcord. Collaborators could correct these errors manually by adding a new Workflow dispatch trigger to .github/workflows/gitcord.yaml (reference).
These annoying race conditions are getting out of hand...
Making perfectly good PRs fail checks for no reason.
Context: #922, https://github.com/EthanThatOneKid/acmcsuf.com/actions/runs/6401565055/job/17376856438