show the correct GitHub URLs on account settings page

Author: tayloraswift

Sources/UnidocServer/Building/Unidoc.BuildCoordinator.swift

@@ -30,8 +30,8 @@ extension Unidoc
 extension Unidoc.BuildCoordinator
 {
     public static
-    func run<T>(watching db:Unidoc.Database,
-        registrar:any Unidoc.Registrar,
+    func run<T>(registrar:any Unidoc.Registrar,
+        watching db:Unidoc.Database,
         with body:(Unidoc.BuildCoordinator) async throws -> T) async rethrows -> T
     {
         let events:AsyncStream<Event>

Sources/UnidocUI/Endpoints/User/Unidoc.UserSettingsPage.Installation.swift

@@ -4,10 +4,12 @@ extension Unidoc.UserSettingsPage
 {
     struct Installation
     {
+        let organization:String?
         let id:Int32?
 
-        init(id:Int32?)
+        init(organization:String?, id:Int32?)
         {
+            self.organization = organization
             self.id = id
         }
     }
@@ -22,7 +24,11 @@ extension Unidoc.UserSettingsPage.Installation:HTML.OutputStreamable
             div[.a]
             {
                 $0.target = "_blank"
-                $0.href = "https://github.com/settings/installations/\(id)"
+                $0.href = self.organization.map
+                {
+                    "https://github.com/organizations/\($0)/settings/installations/\(id)"
+                } ?? "https://github.com/settings/installations/\(id)"
+
                 $0.rel = .external
             } = "installation settings"
         }

Sources/UnidocUI/Endpoints/User/Unidoc.UserSettingsPage.swift

@@ -78,8 +78,9 @@ extension Unidoc.UserSettingsPage:Unidoc.ApplicationPage
                     {
                         $0[.a]
                         {
-                            $0.href = "https://github.com/\(github.login)"
                             $0.target = "_blank"
+                            $0.href = "https://github.com/\(github.login)"
+                            $0.rel = .external
                         } = "@\(github.login)"
 
                         guard
@@ -150,6 +151,25 @@ extension Unidoc.UserSettingsPage:Unidoc.ApplicationPage
                         }
                     }
 
+                    // $0[.p]
+                    // {
+                    //     $0[.label]
+                    //     {
+                    //         $0.class = "checkbox"
+                    //     }
+                    //         content:
+                    //     {
+                    //         $0[.input]
+                    //         {
+                    //             $0.type = "checkbox"
+                    //             $0.name = "private"
+                    //             $0.value = "true"
+                    //         }
+
+                    //         $0[.span] = "This is a private repository"
+                    //     }
+                    // }
+
                     $0[.button]
                     {
                         $0.class = "area"
@@ -182,6 +202,7 @@ extension Unidoc.UserSettingsPage:Unidoc.ApplicationPage
                 for organization:Unidoc.User in self.organizations
                 {
                     $0[.li] = organization.card(some: Installation.init(
+                        organization: organization.symbol,
                         id: organization.githubInstallation))
                 }
             }