Other devs done a load of work on your develop branch that got abandoned? Branch diverged too much to merge back in with master? Well:
git fetch origin
git checkout develop
git reset --hard origin/master
Job done. Remember branches are just pointers to states of the code over time.