Skip to content

Update github-create-pull-request.md, add general guidance on what makes a good PR#458

Merged
matentzn merged 1 commit intomasterfrom cmungall-patch-1Nov 2, 2023

Commits

Commits on Nov 1, 2023