Explicitly noting that contributors should submit pull requests onto develop