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 git push
Job done. Remember branches are just pointers to states of the code over time.