Merge pull request #1741 from jackh726/types-agenda-url

Add types planning url

Author: Mark-Simulacrum

src/agenda.rs

@@ -682,6 +682,7 @@ pub static INDEX: &str = r#"
 <ul>
     <li><a href="/agenda/lang/triage">T-lang triage agenda</a></li>
     <li><a href="/agenda/lang/planning">T-lang planning agenda</a></li>
+    <li><a href="/agenda/types/planning">T-types planning agenda</a></li>
 </ul>
 </body>
 </html>

src/main.rs

@@ -21,6 +21,9 @@ async fn handle_agenda_request(req: String) -> anyhow::Result<String> {
     if req == "/agenda/lang/planning" {
         return triagebot::agenda::lang_planning().call().await;
     }
+    if req == "/agenda/types/planning" {
+        return triagebot::agenda::types_planning().call().await;
+    }
 
     anyhow::bail!("Unknown agenda; see /agenda for index.")
 }
@@ -53,7 +56,10 @@ async fn serve_req(
             .body(Body::from(triagebot::agenda::INDEX))
             .unwrap());
     }
-    if req.uri.path() == "/agenda/lang/triage" || req.uri.path() == "/agenda/lang/planning" {
+    if req.uri.path() == "/agenda/lang/triage"
+        || req.uri.path() == "/agenda/lang/planning"
+        || req.uri.path() == "/agenda/types/planning"
+    {
         match agenda
             .ready()
             .await