Fixing git pr pull to update a pr that's already been checked out
Merge branch 'master' into pull-request-11