Skip to content

create the docsrs-ops marker team#159

Merged
emilyalbini merged 1 commit into
masterfrom
docsrs-ops
Oct 23, 2019
Merged

create the docsrs-ops marker team#159
emilyalbini merged 1 commit into
masterfrom
docsrs-ops

Conversation

@emilyalbini
Copy link
Copy Markdown
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
Copy Markdown
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.
@emilyalbini emilyalbini merged commit 5c0879d into master Oct 23, 2019
@emilyalbini emilyalbini 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