~sircmpwn/dispatch.sr.ht#46: 
Mail GitHub PRs to mailing list

The GitHub integration for launching builds.sr.ht works nicely. However, I'd prefer to just have PRs mailed to the project mailing list, to completely integrate PRs in my email-based review/merge workflow. GitHub is clever enough to close PRs that are merged.

Possibly a duplicate of #28.

Status
REPORTED
Submitter
~eliasnaur
Assigned to
No-one
Submitted
11 months ago
Updated
11 months ago
Labels
No labels applied.