Closed rcdailey closed 1 year ago
When PRs are merged, we should post notifications to the Trash Discord server.
Use this github action: https://github.com/marketplace/actions/discord-commits
Resolved in commit 48f6e33fb206dcdf0f95615253ffc6c39bdb4593
When PRs are merged, we should post notifications to the Trash Discord server.
Use this github action: https://github.com/marketplace/actions/discord-commits