chore: improve bug report template instructions#11537

nomeata merged 1 commit intoleanprover:masterleanprover/lean4:masterfrom

MrBrain295:patch-1MrBrain295/lean4:patch-1Copy head branch name to clipboard