You can simply apply the changes to the current `develop` tree. Update with
```
git fetch
git checkout develop
git merge origin/develop
```