When the Pull... function is called, a dialogue box appears offering several options. It would be useful to have an additional –force option there from time to time.

You can do this by opening Terminal and running the command git pull --force, but it’s a bit of a faff.