Create config.yaml for issue templates#526

TentativeConvert merged 1 commit into

mainleanprover-community/lean4game:mainfrom

TentativeConvert-patch-1leanprover-community/lean4game:TentativeConvert-patch-1Copy head branch name to clipboard