title: Git merge updated develop branch into local branch
body: <p>How do I go about updating a branch that I have checked out, with the updated (which has had a few pull requests merged, after the local branch was branched off of develop) develop branch ?
  At the moment, if I am on <code>branch_1</code> with un/committed/pushed changes, I do a </p>
  
  <pre><code>git checkout develop
  git pull
  git checkout branch_1
  git merge develop
  </code></pre>
  
  <p>Is there a way with lesser steps to achieve what I am after ?</p>