Question: but for deleted you just mean commit to delete it? Because if you remove the commit from the repo, it should disappear.