@(active: String, repository: service.RepositoryService.RepositoryInfo)(body: Html)(implicit context: app.Context)
@import context._
<div class="row-fluid">
  <div class="span3">
    <ul class="nav nav-tabs nav-stacked">
      <li@if(active=="options"){ class="active"}>
        <a href="@path/@repository.owner/@repository.name/settings/options">Options</a>
      </li>
      <li@if(active=="collaborators"){ class="active"}>
        <a href="@path/@repository.owner/@repository.name/settings/collaborators">Collaborators</a>
      </li>
   </ul>
  </div>
  <div class="span9">
    @body
  </div>
</div>

@(active: String, repository: service.RepositoryService.RepositoryInfo)(body: Html)(implicit context: app.Context)
@import context._
<div class="row-fluid">
  <div class="span3">
    <ul class="nav nav-tabs nav-stacked">
      <li@if(active=="options"){ class="active"}>
        <a href="@path/@repository.owner/@repository.name/settings/options">Options</a>
      </li>
      <li@if(active=="collaborators"){ class="active"}>
        <a href="@path/@repository.owner/@repository.name/settings/collaborators">Collaborators</a>
      </li>
      <li@if(active=="delete"){ class="active"}>
        <a href="@path/@repository.owner/@repository.name/settings/delete">Delete Repository</a>
      </li>
   </ul>
  </div>
  <div class="span9">
    @body
  </div>
</div>

Add 'Delete Repository' to the settings menu.
Add 'Delete Repository' to the settings menu.