summaryrefslogtreecommitdiffstats
AgeCommit message (Expand)Author
2019-08-14readme: sprinkle some copy-paste loveTshepang Lekhonkhobe
2019-08-14ci: remove azure pipelinesPietro Albini
2019-08-14ci: add github actionsPietro Albini
2019-08-13Merge pull request #71 from frewsxcv/frewsxcv-teamManish Goregaokar
2019-08-13Merge pull request #98 from rust-lang/gankraMark Rousskov
2019-08-13rename Gankro to GankraPietro Albini
2019-08-02add bors permissions for the stdarch and team reposPietro Albini
2019-08-01Merge pull request #96 from rust-lang/fix-compiler-team-linksPietro Albini
2019-08-01Fix compiler working group linksCarol (Nichols || Goulding)
2019-07-23Add github sync to wg-triageMark Rousskov
2019-07-22Merge pull request #91 from rust-lang/sync-github-cargoPietro Albini
2019-07-20sync the cargo team with githubPietro Albini
2019-07-19Merge pull request #90 from rust-lang/announce-sync-githubPietro Albini
2019-07-19add github teams sync to the readmePietro Albini
2019-07-19Merge pull request #89 from rust-lang/infra-mlsAlex Crichton
2019-07-19add people with full access to the admin infra mailing listsPietro Albini
2019-07-17Merge pull request #88 from rust-lang/github-integrationMark Rousskov
2019-07-17synchronize the release team with githubPietro Albini
2019-07-17add github teams in the schema and the apiPietro Albini
2019-07-15Add mediation mailing listMark Rousskov
2019-07-13Merge pull request #87 from rust-lang/github-idsMark Rousskov
2019-07-13address review commentPietro Albini
2019-07-13don't require the github token for add-personPietro Albini
2019-07-13add github ids to the apiPietro Albini
2019-07-13add the --strict option to the check subcommandPietro Albini
2019-07-13add github ids to the people tomlsPietro Albini
2019-07-13normalize miscapitalized github usernamesPietro Albini
2019-07-13add the add-person subcommandPietro Albini
2019-07-13ci: final tweaks to azure pipelines and remove travisPietro Albini
2019-07-13ci: polish azure configPietro Albini
2019-07-13ci: switch to ubuntu 16.04Pietro Albini
2019-07-13add azure pipelinesPietro Albini
2019-07-12Merge pull request #85 from chocol4te/masterPietro Albini
2019-07-12Merge pull request #86 from edmilsonefs/masterPietro Albini
2019-07-11fix a typo on my nameEdmilson Ferreira da Silva
2019-07-11Add chocol4te to Triage Working GroupFerdia McKeogh
2019-07-04Merge pull request #84 from rust-lang/triage-under-opsMark Rousskov
2019-07-04prevent subteams of subteams at the validation levelPietro Albini
2019-07-04wg-triage: show it on the websitePietro Albini
2019-07-04Merge pull request #83 from Dylan-DPC/Dylan-DPC-patch-16Mark Rousskov
2019-07-04Update teams/wg-triage.tomlDylan DPC
2019-07-04remove permissions=
2019-07-04Update wg-triage.tomlDylan DPC
2019-07-04add triage wgDylan DPC
2019-06-27Merge pull request #81 from alexcrichton/add-help-docsAlex Crichton
2019-06-27Add a `help@docs.rs` email addressAlex Crichton
2019-06-26Merge pull request #80 from komaeda/patch-2Pietro Albini
2019-06-26update komaeda email addressliv
2019-06-25Merge pull request #79 from aturon/patch-1Mark Rousskov
2019-06-25Remove aturon from Lang teamAaron Turon