Update to_production.txt. Remove pushed items.

diff --git a/to_production.txt b/to_production.txt
index 61ccf55b9f3caf98dc3fa99ef10ae8d1b170f7af..c75b3b2a8003b8439571dfe94e9b63041f350a1b 100644 (file)
--- a/to_production.txt
+++ b/to_production.txt
@@ -7,7 +7,6 @@ ofl/wdxllubrifonttc # https://github.com/google/fonts/pull/9380
 ofl/baskervville # https://github.com/google/fonts/pull/9375
 ofl/kapakana # https://github.com/google/fonts/pull/8592
 ofl/notosansthailooped # https://github.com/google/fonts/pull/9090
-ofl/robotomono # https://github.com/google/fonts/pull/9282
 ofl/sourcecodepro # https://github.com/google/fonts/pull/9362
 
 # Designer profile