diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-10-08 15:52:41 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-08 15:52:41 +0200 |
commit | 1e696bebe414d9a295217567aee350bef092ea78 (patch) | |
tree | c87bf0319a404817b76f6cbe10f347c1859fad13 | |
parent | 8d8902d7d4d3542f131f9dc7e7fde83732d92e88 (diff) | |
parent | 96a77faad7f1b801736020ac0aebc5a93106cacc (diff) |
Merge pull request #137 from aidanhs/aphs-pietro-co-lead
Add Pietro as co-lead of Infra team
-rw-r--r-- | teams/infra.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/teams/infra.toml b/teams/infra.toml index d26f38b..c076fed 100644 --- a/teams/infra.toml +++ b/teams/infra.toml @@ -2,7 +2,7 @@ name = "infra" subteam-of = "operations" [people] -leads = ["aidanhs"] +leads = ["aidanhs", "pietroalbini"] members = [ "Mark-Simulacrum", "TimNN", |