Skip to content

Conversation

@pietroalbini
Copy link
Member

This team (synchronized with GitHub) is a marker team as it doesn't
represent any team in our structure, but it's used to grant people
involved with docs.rs operations access to some parts of our infra.

r? @Mark-Simulacrum

@Mark-Simulacrum
Copy link
Member

r=me modulo CI

This team (synchronized with GitHub) is a marker team as it doesn't
represent any team in our structure, but it's used to grant people
involved with docs.rs operations access to some parts of our infra.
@pietroalbini pietroalbini merged commit 5c0879d into master Oct 23, 2019
@pietroalbini pietroalbini deleted the docsrs-ops branch October 23, 2019 09:14
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