enter the working directory
git checkout develop
git fetch origin develop (makes the remote library associated with the develop local library updated)
Then git merge (merge the associated remote library to the local library)
Then merge your own commits into the local develop