Add Redhat domain (#1810)

2023-08-21 23:49:01 +08:00
parent bf7d0ecf74
commit 2b3e333cb1
2 changed files with 3 additions and 0 deletions
--- a/data/category-dev
+++ b/data/category-dev
@ -47,6 +47,7 @@ include:redis
 include:remirepo
 include:ruby
 include:rust
+include:redhat
 include:scala
 include:stackexchange
 include:strikingly