Add notification for rtems maintainer

This commit is contained in:
Jan Sommer 2026-01-11 18:12:53 +01:00 committed by GitHub
parent 3a1695c554
commit 27eeb630ff
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -16,6 +16,7 @@ const TARGET_NOTIFICATIONS: &[(&str, &[&str])] = &[
), ),
("aarch64_be-unknown-none-softfloat", &["Gelbpunkt"]), ("aarch64_be-unknown-none-softfloat", &["Gelbpunkt"]),
("armv7-sony-vita-newlibeabihf", &["pheki"]), ("armv7-sony-vita-newlibeabihf", &["pheki"]),
("armv7-rtems-eabihf", &["thesummer"]),
("mips64-unknown-linux-muslabi64", &["Gelbpunkt"]), ("mips64-unknown-linux-muslabi64", &["Gelbpunkt"]),
( (
"powerpc64-unknown-linux-musl", "powerpc64-unknown-linux-musl",