2013-04-03 21:01:40 +00:00
|
|
|
<div .span9 .hero-unit>
|
|
|
|
<h2>
|
2013-04-04 00:54:53 +00:00
|
|
|
Repository deleted
|
2013-04-03 21:01:40 +00:00
|
|
|
<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
|
2013-04-04 00:54:53 +00:00
|
|
|
Now you can safely go delete the underlying storage of the repository.
|