As already mentioned by @JBNizet,
The pull request in question is in repo from tonyinsect:master
into uwdub:master
, while you have made changes to branch uwdub:pr/1
(i.e your own repo).
You can either push the changes to tonyinsect:master
(if you've the permission), or ask the other guy to fetch new branches from your repo, and merge in your changes in his branch. He needs to do the following
git remote add upstream https://github.com/uwdub/web-dub-importer-dblp.git
git fetch upstream
git checkout master && git merge upstream/master
git push origin master
Once he does these steps, his pull request will automatically be updated.
Worst case, you can do away with his pull request and pull in changes directly from his repo, as below:
git remote add downstream https://github.com/tonyinsect/web-dub-importer-dblp.git
git fetch downstream
git checkout pr/1 && git merge downstream/master
#Check if everything is allright
git checkout master && git merge pr/1
git push origin master
PS: I would suggest avoiding usage of /
in naming of branches, it might lead to issues like here