Shorten libs issues urls in agenda.

Author: m-ou-se

tools/agenda-generator/src/generator.rs

@@ -25,6 +25,10 @@ fn shorten(url: &str) -> String {
         format!("rust.tf/rfc{num}")
     } else if let Some(num) = url.strip_prefix("https://github.com/rust-lang/rfcs/pull/") {
         format!("rust.tf/rfc{num}")
+    } else if let Some(num) = url.strip_prefix("https://github.com/rust-lang/libs-team/issues/") {
+        format!("rust.tf/libs{num}")
+    } else if let Some(num) = url.strip_prefix("https://github.com/rust-lang/libs-team/pull/") {
+        format!("rust.tf/libs{num}")
     } else if let Some(url) = url.strip_prefix("https://") {
         url.to_string()
     } else {