Divan-owned content takes precedence over Wikisource #1
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "feature/divan-owned-content"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Part of anas/divan#30 (with anas/divan's PR of the same name).
New
divan/folder: works edited in Divan, as<work url>.dtx(the readable source, one misra or paragraph per line) and<work url>.json(generated by the Divan app: title, verses, who edited and when). Seedivan/README.md.export_divan.py:divan/<work url>.jsonexists;DivanOwnedwithEdited(who, when);The Wikisource sync keeps updating everything else.
Tested end to end: a Divan edit to a Ghalib ghazal survived a full export with its marks recomputed; removing it brought back the Wikisource text. The test edit is not part of this PR.
🤖 Generated with Claude Code