Publishing commits to divan-data git; public names only; 'last edited' on poems #56
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "feature/git-publishing"
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?
Closes #34.
Publishing → git: every published version is a commit in the divan-data checkout:
<title>: <edit summary> (ورژن N);Reviewed-by:(the L1),Approved-by:(the admin),Divan-Revision:,Divan-Version:;.dtxand.json.The commit id is stored with the version.
DIVAN_GIT_PUSH=1pushes after each commit; otherwise the daily sync or a release pushes (the open question in the roadmap). IfDIVAN_DATA_DIRis not a git checkout, publishing still works, just without a commit.Privacy fix in what was merged with #54: published files recorded moderators' email addresses, and divan-data is public. Now only public names are written, in the files and in git.
Poem pages show, for works with a Divan version: "دیوان کا ورژن ۲ · ترمیم: … · جائزہ: … · اشاعت: … · date · تبدیلی دیکھیں". The last part links to the commit diff (
DIVAN_DATA_COMMIT_URL, default the Gitea commit page).Daily sync:
deploy/sync.shnow pulls with--rebase, so commits made by publishing are kept.Admins are super moderators (owner): edit, review and publish any work without grants. This was already so; it is now documented.
Tested:
npm test35 pass. The pipeline test runs against a temporary git repository and checks:🤖 Generated with Claude Code