A pull
is nothing more than a fetch
followed by a merge
.
Hard to say without having more info on your commit tree, but you should be able to git checkout
the develop branch, git merge
with test
(or whatever commit you're trying to merge
with), and then git push
your local develop
branch to the remote repo's develop
branch.