feat: require disclosure of AI use in PR description#767

grunweg wants to merge 3 commits intoleanprover-community:lean4leanprover-community/leanprover-community.github.io:lean4from

grunweg:aidisclosuregrunweg/leanprover-community.github.io:aidisclosureCopy head branch name to clipboard