소스 검색

Add Prioritization-WG members to the rust team members

LeSeulArtichaut 5 년 전
부모
커밋
e0913dcdcb
1개의 변경된 파일4개의 추가작업 그리고 1개의 파일을 삭제
  1. 4 1
      src/github.rs

+ 4 - 1
src/github.rs

@@ -61,7 +61,10 @@ impl User {
         let is_triager = map
             .get("wg-triage")
             .map_or(false, |w| w.members.iter().any(|g| g.github == self.login));
-        Ok(map["all"].members.iter().any(|g| g.github == self.login) || is_triager)
+        let is_pri_member = map
+            .get("wg-prioritization")
+            .map_or(false, |w| w.members.iter().any(|g| g.github == self.login));
+        Ok(map["all"].members.iter().any(|g| g.github == self.login) || is_triager || is_pri_member)
     }
 
     // Returns the ID of the given user, if the user is in the `all` team.