Update PR guidelines to refer to pull request conventions - #822

Update PR guidelines to refer to pull request conventions#822

JadAbouHawili wants to merge 2 commits into

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

JadAbouHawili:patch-1JadAbouHawili/leanprover-community.github.io:patch-1Copy head branch name to clipboard