Want to do a PR. Is this still the use practice? Collaboration guidelines for Github projects - #6 by riban