fabrica

hanna/fabrica

main
Switch branch
mainView all branches
Clone
HTTPS
SSH

style(web): trim the mirror settings section

96ce2bd · hanna committed on 2026-07-26

Remove the descriptive blurb and the "Add a push mirror" heading, and add
a little more top margin above the Add-push-mirror button.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Signed by hannaSSH key fingerprint: SHA256:4g9cWhkAAw8gwqhJUcVbSnGEvdGwklW+1Aa/fMUu59k
2 files changed · +3 −6UnifiedSplit
assets/base.css +3 −0
@@ -1069,6 +1069,9 @@ body.drawer-open .drawer-backdrop {
1069.mirror-add h3 {1069.mirror-add h3 {
1070 margin-top: 0;1070 margin-top: 0;
1071}1071}
1072.mirror-add .admin-form-actions {
1073 margin-top: 1rem;
1074}
10721075
1073/* Settings: a left tab rail and the active tab's content. */1076/* Settings: a left tab rail and the active tab's content. */
1074.settings-layout {1077.settings-layout {
crates/web/src/repo.rs +0 −6
@@ -1239,11 +1239,6 @@ fn mirror_section(id: &str, csrf: &str, mirrors: &[store::Mirror]) -> Markup {
1239 section class="listing" {1239 section class="listing" {
1240 h2 { "Mirror settings" }1240 h2 { "Mirror settings" }
1241 div class="card" {1241 div class="card" {
1242 p class="muted field-hint" {
1243 "Keep this repository in sync with another repository — push its commits, tags and branches out to a remote, or pull them in. Add an inbound (pull) mirror from the "
1244 a href="/new/migrate" { "Migrate from Git" }
1245 " page."
1246 }
1247 @if mirrors.is_empty() {1242 @if mirrors.is_empty() {
1248 p class="muted empty-note" { "No mirrors configured." }1243 p class="muted empty-note" { "No mirrors configured." }
1249 } @else {1244 } @else {
@@ -1281,7 +1276,6 @@ fn mirror_section(id: &str, csrf: &str, mirrors: &[store::Mirror]) -> Markup {
1281 }1276 }
1282 }1277 }
1283 div class="mirror-add" {1278 div class="mirror-add" {
1284 h3 { "Add a push mirror" }
1285 form method="post" action=(format!("/repo-settings/{id}/mirror")) {1279 form method="post" action=(format!("/repo-settings/{id}/mirror")) {
1286 input type="hidden" name="_csrf" value=(csrf);1280 input type="hidden" name="_csrf" value=(csrf);
1287 label for="m-url" { "Git remote repository URL" }1281 label for="m-url" { "Git remote repository URL" }