"git pull --tags": error out with a better message.