Wonder if you think adding a feature to merge corktree branch into its merge-base & delete in one go would be a reasonable feature to add? I am happy to make a PR for this, just curious whether it fits into the workflow intended by the tool.