diff options
author | Mark Rousskov <mark.simulacrum@gmail.com> | 2019-07-13 17:18:41 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-07-13 17:18:41 -0400 |
commit | 732feec5e8db47846ae2fbfe69fbf028090a809d (patch) | |
tree | 336c1390b505d6f08b8fbf247d06da20a57bf677 /rust_team_data/src/v1.rs | |
parent | 14a42ebabfd56eb50447d8d8c8d4e2b1235cf1c7 (diff) | |
parent | 5fde6a68757402d50fa312ea75103c083f9483af (diff) |
Merge pull request #87 from rust-lang/github-ids
Store GitHub IDs in the repo
Diffstat (limited to 'rust_team_data/src/v1.rs')
-rw-r--r-- | rust_team_data/src/v1.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/rust_team_data/src/v1.rs b/rust_team_data/src/v1.rs index 50edebd..839c66d 100644 --- a/rust_team_data/src/v1.rs +++ b/rust_team_data/src/v1.rs @@ -23,6 +23,7 @@ pub struct Team { pub struct TeamMember { pub name: String, pub github: String, + pub github_id: usize, pub is_lead: bool, } @@ -63,6 +64,7 @@ pub struct Lists { #[derive(Debug, Clone, Serialize, Deserialize)] pub struct Permission { pub github_users: Vec<String>, + pub github_ids: Vec<usize>, } #[derive(Debug, Clone, Serialize, Deserialize)] |