Pull requests should be opened with the `develop` branch as the base. Do not
open pull requests into the `master` branch, as this branch contains the latest
stable release.