Git: Bringing the dev branch up to master

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:

Job done. Remember branches are just pointers to states of the code over time.