title: How to merge a PR from command line using hub?
body: <p>I'm using <em>git / hub</em> with <em>github</em> following a <em>gitflow</em> workflow in my project and I'm wondering if there's a simple way to avoid entering github to merge and close my pull requests. </p>
  
  <p>The worflow I'm following at the time is this one. </p>
  
  <pre><code>git checkout -b my-feature-123 develop
  git add .
  git commit -m "my changes"
  git push origin my-feature-123
  hub pull-request -m "my changes" -b develop
  #enter guthub and merge PR
  #run deployment 
  git checkout develop
  git pull origin develop # everything up-to-date
  </code></pre>
  
  <p>So I want to replace the <em>#enter guthub and merge PR</em> part with a command line merging command, till now nothing seems to work. </p>