2014-04-21 15:44:10 +00:00
|
|
|
<div .col-sm-9>
|
2014-05-02 14:19:17 +00:00
|
|
|
<div .content-box>
|
2014-04-21 15:44:10 +00:00
|
|
|
<h2>
|
|
|
|
|
Repository deleted
|
|
|
|
|
<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 safely go delete the underlying storage of the repository.
|
