Git refresh develop from master
# Delete your local develop
git checkout master
git branch -D develop
# Recreate your local develop, based on origin's master
git pull origin master
git checkout -b develop
# Push and overwrite the sloppy develop on the origin
git push origin develop --force