Skip to content

Conversation

Kobzol
Copy link
Member

@Kobzol Kobzol commented Mar 16, 2024

Repo: https://github.com/rust-lang/monitorbot

Extracted from GH:

org = "rust-lang"
name = "monitorbot"
description = "Monitoring of external API services Rust infrastructure relies upon"
bots = []

[access.teams]
security = "pull"
infra = "write"

[access.individuals]
Kobzol = "write"
rylev = "admin"
Mark-Simulacrum = "admin"
kennytm = "write"
badboy = "admin"
shepmaster = "write"
jdno = "admin"
pietroalbini = "admin"
rust-lang-owner = "admin"

@rylev
Copy link
Member

rylev commented Mar 18, 2024

Linking to this context for why this is not being archived.

@rylev rylev merged commit 7983036 into rust-lang:master Mar 18, 2024
@Kobzol Kobzol deleted the repo-monitorbot branch March 18, 2024 13:05
calebzulawski pushed a commit to calebzulawski/team that referenced this pull request Mar 22, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants