schema: sort the github ids part of a github team

pietroalbini · pietroalbini · commit 1257f1fa5780 · 2020-07-03T19:28:45.000+02:00
diff --git a/src/schema.rs b/src/schema.rs
@@ -260,6 +260,7 @@ impl Team {
                         .filter_map(|name| data.person(name).map(|p| p.github_id())),
                 );
             }
+            members.sort();
             let name = github.team_name.as_deref().unwrap_or(&self.name);
 
             for org in &github.orgs {

Original file line number	Diff line number	Diff line change
`@@ -260,6 +260,7 @@ impl Team {`
`260`	`260`	`.filter_map(\|name\| data.person(name).map(\|p\| p.github_id())),`
`261`	`261`	`);`
`262`	`262`	`}`
	`263`	`+ members.sort();`
`263`	`264`	`let name = github.team_name.as_deref().unwrap_or(&self.name);`
`264`	`265`
`265`	`266`	`for org in &github.orgs {`