Skip to content

Manual steps: push notifications are merged - #16

Merged
Adron merged 1 commit into
devfrom
docs/post-merge-fixes
Oct 21, 2026
Merged

Adron merged 1 commit into
devfrom
docs/post-merge-fixes

Conversation

@Adron

@Adron Adron commented Oct 21, 2026

Copy link
Copy Markdown
Member

Summary

Follow-up to #12 and #15 landing on main:

  • remaining_manual_steps.md step 7 said push notifications weren't merged; they are, and ship with the next successful deploy (which applies 0003_push.sql).
  • Migration numbering is consistent on main: 0003_push, 0004_protected_superadmin (independent tables, so arrival order doesn't matter), and the unbuilt test-user expiry reserves 0005 in plan-remaining.md.

Test plan

  • Anchor check on the edited doc
  • CI green

🤖 Generated with Claude Code

Step 7 still said PR #12 wasn't on main. Push notifications are merged and
ship with the next successful deploy; 0003_push and
0004_protected_superadmin touch different tables, so their arrival order
doesn't matter. The test-user expiry plan already reserves 0005.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@Adron
Adron merged commit dbe7182 into dev Oct 21, 2026
@Adron
Adron deleted the docs/post-merge-fixes branch October 21, 2026 01:02
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