Is there a way to merge a github pull request branch into a local branch?

IE something like

```
git clone https://github.com/tensorflow/tensorflow.git
git checkout -b work_in_progress
git merge https://github.com/tensorflow/tensorflow/pull/13107

```