Skip to content

chore(ci): remove dormant push-email notification workflow - #86

Merged
hyperpolymath merged 1 commit into
mainfrom
chore/drop-push-email
Jul 28, 2026
Merged

chore(ci): remove dormant push-email notification workflow#86
hyperpolymath merged 1 commit into
mainfrom
chore/drop-push-email

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

Removes .github/workflows/push-email-notify.yml.

Per the standing estate directive, push-email notification is retained only on the three defensive-lab repos (007, robodog-defensive-systems-lab, defensive-multiplicity). Tangle is not one of them.

The workflow was already disabled_manually and skipped on every run, so this is a no-op for CI behaviour — it just removes a dormant, secret-consuming workflow from the roster.

Note: Dogfood Gate is currently red on all branches for an unrelated, pre-existing reason — hyperpolymath/a2ml-validate-action and hyperpolymath/k9-validate-action now resolve as "repository not found" to the Actions runner (they passed on 2026-07-23). See dev-notes/tangle-sitrep-2026-07-27.md.

🤖 Generated with Claude Code

Standing estate directive limits push-email to the three defensive-lab
repos (007, robodog-defensive-systems-lab, defensive-multiplicity).
Tangle is not among them. The workflow was already disabled_manually
and skipped on every run, so removal is a no-op for CI behaviour.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
@hyperpolymath
hyperpolymath force-pushed the chore/drop-push-email branch from 6aac66e to 79f3d5b Compare July 28, 2026 18:18
@gitar-bot

gitar-bot Bot commented Jul 28, 2026

Copy link
Copy Markdown

Note

Automatic reviews are paused because your trial's included automatic processing has been used for this period. Upgrade now, or comment "Gitar review" to run a review anytime.
Learn more

Code Review ✅ Approved

Removes the dormant push-email notification workflow in accordance with the defensive-lab roster directive. No issues found.

Auto-approved and auto-merge armed: No blocking issues found.
Please see Auto-approve Docs for details on setting custom approval criteria. — merges when pipeline and required approvals pass.

Options

Display: compact → Showing less information.

Comment with these commands to change the behavior for this request:

Compact
gitar display:verbose         

Was this helpful? React with 👍 / 👎 | Gitar

@gitar-bot

gitar-bot Bot commented Jul 28, 2026

Copy link
Copy Markdown

⚠️ Gitar auto-approved this PR but could not enable auto-merge: auto-merge is disabled for this repository — enable "Allow auto-merge" in the repository settings.

@gitar-bot gitar-bot Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Gitar has auto-approved this PR and enabled auto-merge (configure)

@gitar-bot gitar-bot Bot added the gitar-approved Added by Gitar label Jul 28, 2026
@hyperpolymath
hyperpolymath merged commit c595cd7 into main Jul 28, 2026
23 checks passed
@hyperpolymath
hyperpolymath deleted the chore/drop-push-email branch July 28, 2026 18:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

gitar-approved Added by Gitar

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant