From f846a754409de5f4916ae31edd35608199fc7e2e Mon Sep 17 00:00:00 2001 From: fr33domlover Date: Wed, 23 Oct 2019 07:43:40 +0000 Subject: [PATCH] UI: Move repo deletion button to the bottom of the page --- templates/repo/source-darcs.hamlet | 6 +++--- templates/repo/source-git.hamlet | 6 +++--- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/templates/repo/source-darcs.hamlet b/templates/repo/source-darcs.hamlet index f33a72a..5a6fa1a 100644 --- a/templates/repo/source-darcs.hamlet +++ b/templates/repo/source-darcs.hamlet @@ -34,9 +34,6 @@ $maybe desc <- repoDesc repository ^{followButton} -
- ^{buttonW DELETE "Delete this repo" (RepoR user repo)} -

Tags

TODO @@ -71,6 +68,9 @@ $case sv

#{readmeName} ^{readmeWidget} +
+ ^{buttonW DELETE "Delete this repo" (RepoR user repo)} +
[See repo JSON] diff --git a/templates/repo/source-git.hamlet b/templates/repo/source-git.hamlet index d29fccb..bc96125 100644 --- a/templates/repo/source-git.hamlet +++ b/templates/repo/source-git.hamlet @@ -34,9 +34,6 @@ $maybe desc <- repoDesc repository ^{followButton} -