Use force if necessary (needed after merging a pull request on GitHub)