mirror of
https://github.com/leanprover/lean4.git
synced 2026-03-17 10:24:07 +00:00
This PR makes it so that in the issue template a line about how to check boxes is in comment form you can only see it when you are creating the issue and it does not need to be displayed to everyone.