Checklist for handling pull requests

1. Make sure that the pull request is against the correct branch
   • New API is requested to be merged into develop
   • Bug fixes are requested to be merged into master
2. Check everything is there [TODO, documentation, tests, correct version number, etc.]
3. Use the Rebase and merge option to merge the pull request
4. Pull the