这是indexloc提供的服务,不要输入任何密码
Skip to content
This repository was archived by the owner on Jan 14, 2025. It is now read-only.

Conversation

@gewarren
Copy link
Contributor

Contributes to dotnet/docs#36042.

@gewarren
Copy link
Contributor Author

@jonsequitur It seems like something's wrong with the CI in this repo. Could you merge this PR anyway?

@jonsequitur
Copy link
Contributor

I don't seem to have merge permissions.

@gewarren
Copy link
Contributor Author

@BillWagner Can you merge this?

@BillWagner BillWagner merged commit 870112b into dotnet:main Jun 29, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants