forge/Vervis
1
0
Fork 0
Code Pull requests Activity

UI: Move repo deletion button to the bottom of the page

Browse source
This commit is contained in:
fr33domlover 2019-10-23 07:43:40 +00:00
parent ff73433bc1
commit f846a75440
2 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
templates/repo/source-darcs.hamlet
View file

@ -34,9 +34,6 @@ $maybe desc <- repoDesc repository
^{followButton}
<div>
^{buttonW DELETE "Delete this repo" (RepoR user repo)}
<h2>Tags
<p>TODO
@ -71,6 +68,9 @@ $case sv
<h2>#{readmeName}
^{readmeWidget}
<div>
^{buttonW DELETE "Delete this repo" (RepoR user repo)}
<div>
<a href=@?{(RepoR user repo, [("prettyjson","true")])}>
[See repo JSON]

6
templates/repo/source-git.hamlet
View file

@ -34,9 +34,6 @@ $maybe desc <- repoDesc repository
^{followButton}
<div>
^{buttonW DELETE "Delete this repo" (RepoR user repo)}
<h2>Branches
<ul>
@ -83,6 +80,9 @@ $case sv
<h2>#{readmeName}
^{readmeWidget}
<div>
^{buttonW DELETE "Delete this repo" (RepoR user repo)}
<div>
<a href=@?{(RepoR user repo, [("prettyjson","true")])}>
[See repo JSON]