chore: pr release: git commit --allow-empty#11013

nomeata merged 1 commit intomasterleanprover/lean4:masterfrom

joachim/pr-release-allow-emptyleanprover/lean4:joachim/pr-release-allow-emptyCopy head branch name to clipboard