diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-09-04 17:37:59 +0200 |
---|---|---|
committer | Pietro Albini <pietro@pietroalbini.org> | 2019-09-04 17:38:59 +0200 |
commit | a4170ba3d5cd5c729162cfdbcfca3710a8c0d0de (patch) | |
tree | 584949cc483119405878f6f865f7b81465726f5f /rust_team_data | |
parent | e31b7519f5b89f52a7b8761775448de85e407bce (diff) |
static-api: explicitly list github team members
This will allow the list of members to be expanded in the future.
Diffstat (limited to 'rust_team_data')
-rw-r--r-- | rust_team_data/src/v1.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rust_team_data/src/v1.rs b/rust_team_data/src/v1.rs index b582f4f..e970d0d 100644 --- a/rust_team_data/src/v1.rs +++ b/rust_team_data/src/v1.rs @@ -37,6 +37,7 @@ pub struct TeamGitHub { pub struct GitHubTeam { pub org: String, pub name: String, + pub members: Vec<usize>, } #[derive(Debug, Clone, Serialize, Deserialize)] |