mirror of
https://codeberg.org/forgejo/forgejo.git
synced 2025-05-31 11:52:10 +00:00
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. <details> <summary>Screenshots</summary> ## Before <img width="936" alt="Screenshot 2023-07-26 at 9 31 21 AM" src="35b8a40c
-4320-474c-a866-1dea0f1fa0de"> ## After <img width="945" alt="Screenshot 2023-07-26 at 9 44 40 AM" src="ee12e12f
-0f68-4feb-90eb-33366f5997d3"> ### On hover <img width="247" alt="image" src="2f32de45
-bd50-4150-9623-3be2ef3ea7f8"> <img width="237" alt="image" src="49f4ab4d
-ccff-4489-80ce-a9788a73c3bb"> <img width="245" alt="image" src="165fc888
-9d48-438a-b730-d4beb12122af"> ### Edit modal <img width="905" alt="image" src="2a7ca24b
-4f36-4e0e-9799-39f2ecc46413"> ### Only valid times are allowed <img width="728" alt="Screenshot 2023-07-26 at 9 50 01 AM" src="ced6d330
-c235-4e29-8f17-28daddcf1444"> <img width="853" alt="image" src="8636f62a
-70d1-4684-a3e8-b205adc03580"> </details> Fixes #21295 --------- Co-authored-by: wxiaoguang <wxiaoguang@gmail.com>
This commit is contained in:
parent
ab0e588217
commit
ab388deb0e
5 changed files with 96 additions and 7 deletions
|
@ -1966,6 +1966,8 @@ settings.mirror_settings.last_update = Last update
|
|||
settings.mirror_settings.push_mirror.none = No push mirrors configured
|
||||
settings.mirror_settings.push_mirror.remote_url = Git Remote Repository URL
|
||||
settings.mirror_settings.push_mirror.add = Add Push Mirror
|
||||
settings.mirror_settings.push_mirror.edit_sync_time = Edit mirror sync interval
|
||||
|
||||
settings.sync_mirror = Synchronize Now
|
||||
settings.mirror_sync_in_progress = Mirror synchronization is in progress. Check back in a minute.
|
||||
settings.site = Website
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue