File tree 3 files changed +66
-0
lines changed
3 files changed +66
-0
lines changed Original file line number Diff line number Diff line change
1
+ org = " rust-dev-tools"
2
+ name = " cargo-src"
3
+ description = " Semantic code navigation for Rust"
4
+ bots = []
5
+
6
+ [access .teams ]
7
+ devtools = " maintain"
8
+
9
+ [access .individuals ]
10
+ rust-lang-owner = " admin"
11
+ pietroalbini = " admin"
12
+ calebcartwright = " maintain"
13
+ Manishearth = " admin"
14
+ ehuss = " maintain"
15
+ GuillaumeGomez = " maintain"
16
+ oli-obk = " maintain"
17
+ killercup = " admin"
18
+ nrc = " admin"
19
+ rbtcollins = " maintain"
20
+ marcoieni = " admin"
Original file line number Diff line number Diff line change
1
+ org = " rust-dev-tools"
2
+ name = " dev-tools-team"
3
+ description = " resources for the Rust dev-tools team"
4
+ bots = []
5
+
6
+ [access .teams ]
7
+ devtools = " maintain"
8
+
9
+ [access .individuals ]
10
+ jwilm = " write"
11
+ tromey = " write"
12
+ matklad = " write"
13
+ emilio = " write"
14
+ nrc = " admin"
15
+ pietroalbini = " admin"
16
+ fitzgen = " write"
17
+ ehuss = " maintain"
18
+ japaric = " write"
19
+ QuietMisdreavus = " write"
20
+ llogiq = " write"
21
+ oli-obk = " maintain"
22
+ Manishearth = " admin"
23
+ rust-lang-owner = " admin"
24
+ killercup = " admin"
25
+ rbtcollins = " maintain"
26
+ steveklabnik = " write"
27
+ GuillaumeGomez = " maintain"
28
+ calebcartwright = " maintain"
29
+ brson = " write"
30
+ alexcrichton = " write"
31
+ marcoieni = " admin"
Original file line number Diff line number Diff line change
1
+ org = " rust-dev-tools"
2
+ name = " gdb"
3
+ description = " Rust's copy of gdb"
4
+ bots = []
5
+
6
+ [access .teams ]
7
+
8
+ [access .individuals ]
9
+ Manishearth = " admin"
10
+ rust-lang-owner = " admin"
11
+ killercup = " admin"
12
+ nrc = " admin"
13
+ tromey = " admin"
14
+ pietroalbini = " admin"
15
+ marcoieni = " admin"
You can’t perform that action at this time.
0 commit comments