fix(init/meta/converter/interactive): Do not allow rw to create ⊢ goals in conv mode#475

eric-wieser wants to merge 1 commit intoleanprover-community:masterleanprover-community/lean:masterfrom

eric-wieser:patch-2eric-wieser/lean:patch-2Copy head branch name to clipboard