git-annex/templates/configurators/delete/finished.hamlet
Joey Hess 9a5f421768 detect when unwanted remote is empty and remove it
Needs fixes to build when the webapp is disabled.
2013-04-03 17:01:40 -04:00

14 lines
481 B
Text

<div .span9 .hero-unit>
<h2>
Repository removed
<p>
As much data as possible has been removed from the repository
"#{reponame}", and it has been removed from the list of repositories.
<p>
$if gitrepo
<div .alert>
Since "#{reponame}" is a git repository, it still contains
some data. To completely remove it, you should go delete that git
repository.
$else
Now you can go go delete the underlying storage of the repository.