Merge GitHub and IRC clients, IRC formatting

2026-10-11 16:23:31 +01:00
parent 55e65410ce d20d16e8c8
commit 03bb1db936
8 changed files with 3295 additions and 0 deletions
@@ -24,5 +24,11 @@ sha1 = "0.11.0"
 portable-pty = "0.9.0"
 serialport = { version = "4", default-features = false }

+rustls = { version = "0.23", default-features = false, features = ["ring", "std", "tls12"] }
+webpki-roots = "1"
+
+[dev-dependencies]
+tiny_http = "0.12"
+
 [target.'cfg(target_os = "linux")'.dev-dependencies]
 libc = "0.2"