From ab388deb0e52c058a19dbd844bdd890f7cf84d51 Mon Sep 17 00:00:00 2001
From: puni9869 <80308335+puni9869@users.noreply.github.com>
Date: Tue, 1 Aug 2023 21:30:59 +0530
Subject: Allow editing push mirrors after creation (#26151)
Allow users to edit the sync interval for existing push mirrors.
Currently, there is no way to modify the interval once the mirror is
created.
Screenshots
## Before
## After
### On hover
### Edit modal
### Only valid times are allowed
Fixes #21295
---------
Co-authored-by: wxiaoguang
---
templates/repo/settings/options.tmpl | 20 +++++++++++---
.../repo/settings/push_mirror_sync_modal.tmpl | 32 ++++++++++++++++++++++
2 files changed, 48 insertions(+), 4 deletions(-)
create mode 100644 templates/repo/settings/push_mirror_sync_modal.tmpl
(limited to 'templates/repo/settings')
diff --git a/templates/repo/settings/options.tmpl b/templates/repo/settings/options.tmpl
index f0b030dc54..569a576ce6 100644
--- a/templates/repo/settings/options.tmpl
+++ b/templates/repo/settings/options.tmpl
@@ -203,17 +203,27 @@