diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-03-30 11:16:31 +0100 |
---|---|---|
committer | Pietro Albini <pietro@pietroalbini.org> | 2019-03-30 11:28:37 +0100 |
commit | e5c6237c156065eca542867d1495d0ec48888397 (patch) | |
tree | d679fe84b064e25fc5186a18d921b6972280c40a /rust_team_data | |
parent | 84fbef0d92829da723517cdbd87a97585ebba2d5 (diff) |
add rfcbot configuration
Diffstat (limited to 'rust_team_data')
-rw-r--r-- | rust_team_data/src/v1.rs | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/rust_team_data/src/v1.rs b/rust_team_data/src/v1.rs index bb69449..50edebd 100644 --- a/rust_team_data/src/v1.rs +++ b/rust_team_data/src/v1.rs @@ -64,3 +64,15 @@ pub struct Lists { pub struct Permission { pub github_users: Vec<String>, } + +#[derive(Debug, Clone, Serialize, Deserialize)] +pub struct Rfcbot { + pub teams: IndexMap<String, RfcbotTeam>, +} + +#[derive(Debug, Clone, Serialize, Deserialize)] +pub struct RfcbotTeam { + pub name: String, + pub ping: String, + pub members: Vec<String>, +} |