Skip to content

Conversation

@JohnTitor
Copy link
Member

It should've been t-lang/doc, sorry for the trouble.

It should've been `t-lang/doc`.
@JohnTitor
Copy link
Member Author

Related topic: Seems GHA for #445 finished successfully (https://github.com/rust-lang/team/runs/1260691111) but the GitHub team integration isn't done yet?

@Manishearth Manishearth merged commit 2fce82c into rust-lang:master Oct 15, 2020
@JohnTitor JohnTitor deleted the fix-zulip-stream branch October 15, 2020 19:48
@JohnTitor
Copy link
Member Author

Related topic: Seems GHA for #445 finished successfully (rust-lang/team/runs/1260691111) but the GitHub team integration isn't done yet?

The latest GHA configured the team so it's resolved. Thanks for merging this, Manish :)

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