Add admin button to update repo

This commit is contained in:
Joscha 2023-08-17 18:19:41 +02:00
parent 6cf7a0b586
commit 4f2b0a0b88
9 changed files with 69 additions and 15 deletions

View file

@ -6,6 +6,10 @@
<h2>Refs</h2>
<form method="post" action="{{ link_admin_repo_update }}">
<button>Update</button>
</form>
<details open>
<summary>Tracked ({{ tracked_refs.len() }})</summary>
<dl>