Skip to content

typo: fixed scan issues - #41

Closed
bor1e wants to merge 196 commits into
Sefaria:masterfrom
bor1e:patch-1
Closed

bor1e wants to merge 196 commits into
Sefaria:masterfrom
bor1e:patch-1

Conversation

@bor1e

@bor1e bor1e commented Jun 11, 2023

Copy link
Copy Markdown

Fixed some scan typos.

Jehoshua ben "Nun" not "Run"

added exclamation mark "höhnenl" -> "höhnen!"

seperated words "undseine" -> "und seine"

@yodem

yodem commented Sep 7, 2026

Copy link
Copy Markdown
Contributor

Automated code review

This is an automated review (Claude), run by a Sefaria maintainer as part of a sweep through our long-open pull requests. A human is reading the results.


@bor1e — thank you for this, and I'm sorry it sat for three years without a reply. That's on us, not you.

Your three catches were all correct:

  • Sohn Runs → Sohn Nuns (Joshua son of Nun)
  • höhnenl → höhnen!
  • undseine → und seine

We verified them against our current live data, and all three are now fixed. The Hirsch German Pentateuch today reads "Sohn Nuns" (9×), "höhnen!" and "und seine Huldigungsgabe". Your PR was never merged, so a later re-export corrected them independently — but your diagnosis was right on every count.

Why we can't merge the patch itself: in March 2026 this repository stopped holding text data. The txt/, json/, links/ and related directories were removed; the texts now live in a public Google Cloud bucket that is regenerated monthly from our production database. The file your PR edits no longer exists here, and even if it did, the next monthly export would overwrite it. Text corrections now need to happen upstream in the source database.

One thing your review surfaced that we're passing on: the same Hirsch edition still carries three stray Hebrew characters left over from scanning — Willfahrungsausdruckר, Lebeמ and Gottקד. We'd have missed those without this PR prompting the check.

We'd like to hear what you want to do. We're not closing this unilaterally after leaving it this long. If you'd like to talk it through, or keep contributing text corrections through the right channel, please join our developer Discord:

👉 https://sefaria.formstack.com/forms/sefaria_developer_discord_community

Thank you for the careful eye, and again — sorry for the silence.

@yodem

yodem commented Sep 8, 2026

Copy link
Copy Markdown
Contributor

Follow-up: this PR was closed automatically, not by a decision

Shortly after the review above, we reset this repository's git history — moving ~14 GB of accumulated history into a read-only archive so a clone drops from ~14 GB to under 1 MB.

That force-push auto-closed this PR. We did not expect it to: we believed GitHub only auto-closes a pull request when its base branch is deleted, and we rewrote master rather than deleting it. That was wrong — GitHub also closes a PR when the base branch's history is rewritten so the merge base no longer exists.

I'm flagging it because the comment above said we wanted to hear from you "rather than close this on you after so long" — and then a migration closed it minutes later. That's a bad look and it wasn't the intent. We got the mechanics wrong; we didn't change our minds.

Nothing of yours is lost. Your fork is untouched and your commits are intact, and the complete pre-reset history is preserved at Sefaria-Export-Archive.

If you'd like this reopened to continue the conversation, say so and we'll reopen it — the diff view will be unusable (no common ancestor with the new root commit), but the thread still works.

👉 https://sefaria.formstack.com/forms/sefaria_developer_discord_community

@yodem

yodem commented Sep 8, 2026

Copy link
Copy Markdown
Contributor

Hi — a note on where this stands.

We had to make some changes to this repository (moving ~14 GB of git history into a read-only archive), and that's what closed your PR. Reopening isn't possible — GitHub blocks it because the merge base no longer exists.

We're not asking you to re-submit this one, and that's not a judgement on the work: as noted in the review above, the issue you reported is already resolved in our current published data, so a new PR would have nothing left to fix. You were right; it just got fixed by another route while this sat unanswered.

Please do join our developers Discord, though — we'd rather hear about the next thing you spot somewhere it will actually get seen:

👉 https://sefaria.formstack.com/forms/sefaria_developer_discord_community

Thank you for the contribution, and sorry for how long it went without a reply.

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.