Merge Riva into Rivka in seed #2

Merged
ilia merged 1 commits from fix/merge-riva-rivka into main 2026-08-06 16:03:16 -05:00
Owner

Single board entry; Riva documented as short form.

Single board entry; Riva documented as short form.
ilia added 1 commit 2026-08-06 15:56:45 -05:00
Treat Riva as short form of Rivka in seed data.
CI / secret-scan (pull_request) Successful in 31s
CI / python-ci (pull_request) Successful in 1m20s
e97a1a9d4e
One board entry for Rivka with Riva noted as the short pronunciation/form.
ilia scheduled this pull request to auto merge when all checks succeed 2026-08-06 16:01:12 -05:00
ilia merged commit cb5257df2f into main 2026-08-06 16:03:16 -05:00
ilia deleted branch fix/merge-riva-rivka 2026-08-06 16:03:16 -05:00
Sign in to join this conversation.
No Reviewers
No labels
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: ilia/stork#2