Skip to content

chore(ci): add dormant push-email notification workflow - #53

Merged
hyperpolymath merged 2 commits into
mainfrom
chore/push-email-notify
Jul 29, 2026
Merged

chore(ci): add dormant push-email notification workflow#53
hyperpolymath merged 2 commits into
mainfrom
chore/push-email-notify

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

Backfills the dormant push-email workflow (gated by vars.PUSH_EMAIL_ENABLED; needs org SMTP secrets to send). Inherited by new repos from rsr-template-repo; this places it on an existing repo. No effect until armed.

Description

Type of Change

  • Bug fix (non-breaking change that fixes an issue)
  • New feature (non-breaking change that adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to not work as expected)
  • Documentation update
  • Refactoring (no functional changes)
  • Performance improvement

Related Issues

Checklist

  • My code follows the project's language policy (ReScript, Deno, no TypeScript/npm)
  • I have added SPDX headers to new files
  • I have updated the documentation accordingly
  • I have added tests that prove my fix is effective or my feature works
  • New and existing unit tests pass locally
  • I have run deno fmt and deno lint on my changes

Ecological & Economic Considerations

  • This change improves code efficiency
  • This change has been reviewed for energy patterns
  • This change maintains or improves the project's sustainability

Screenshots (if applicable)

Additional Notes

hyperpolymath and others added 2 commits June 24, 2026 17:42
Backfills the dormant push-email workflow (gated by vars.PUSH_EMAIL_ENABLED;
needs org SMTP secrets to send). Inherited by new repos from rsr-template-repo;
this places it on an existing repo. No effect until armed.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@hyperpolymath
hyperpolymath merged commit c88ee85 into main Jul 29, 2026
17 checks passed
@hyperpolymath
hyperpolymath deleted the chore/push-email-notify branch July 29, 2026 21:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant