Adapting contribution guidelines for migration to github
Removed general git tips and tricks Added small section for users migrating from github - quite possibly incomplete Removed guidelines for Jira workflow ;) Exchanged "gitlab" with "github" and "merge request" with "pull request"... and adapted the guide where necessary
@msmk this file also contains coding style guidelines, see if you want to remove or update this (in a separate MR/PR)