What branch should be used for contributions?

In the past the 'develop' branch was used as the target for pull requests, but recently it looks like the 'master' branch has been used. Once we decide, this should be documented in the contributing guidelines.