Introduce user repositories

2022-09-04 11:38:10 +02:00 · 2022-09-04 11:38:10 +02:00 · 22638dcc51
commit 22638dcc51
parent 4baa665693
7 changed files with 403 additions and 2 deletions
--- a/ui/src/routes/users/index.svelte
+++ b/ui/src/routes/users/index.svelte
@ -13,7 +13,14 @@
 </script>

 {#if $user && $user.is_admin}
-    <a href="grades" class="btn btn-success ml-1 float-end" title="Notes">
+    <a
+        href="auth/gitlabcri?next={window.location.pathname}"
+        class="btn btn-primary float-end"
+    >
+        <i class="bi bi-link-45deg"></i>
+        OAuth GitLab
+    </a>
+    <a href="grades" class="btn btn-success me-1 float-end" title="Notes">
        <i class="bi bi-files"></i>
    </a>
    {#await getPromos() then promos}