chore(how-to-contribute): remove portion about (re)moving declarations#849

grunweg wants to merge 1 commit into

leanprover-community:lean4leanprover-community/leanprover-community.github.io:lean4from

grunweg:remove-movegrunweg/leanprover-community.github.io:remove-moveCopy head branch name to clipboard