chore: redirect stale submit template links to lean-eval-submissions#290

kim-em merged 2 commits into

mainleanprover/lean-eval:mainfrom

redirect-submit-templateleanprover/lean-eval:redirect-submit-templateCopy head branch name to clipboard