void (@NotNull GitRepository repository) { File cherryPickHeadFile = repository.getRepositoryFiles().getCherryPickHead(); if (cherryPickHeadFile.exists()) { boolean deleted = FileUtil.delete(cherryPickHeadFile); if (!deleted) { LOG.warn("Couldn't delete " + cherryPickHeadFile); } } else { LOG.info("Cancel cherry-pick in " + repository.getPresentableUrl() + ": no CHERRY_PICK_HEAD found"); } }