finished.hamlet

<div .col-sm-9>
  <div .content-box>
    <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.