# Use GitHub's Hub to create a pull request of the # current branch into the develop branch. hub pull-request -b develop