Skip to content

Revert "[server] remove definitely-gp" #18335

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged

Conversation

AlexTugarev
Copy link
Member

Reverts #18316

@AlexTugarev AlexTugarev force-pushed the revert-18316-revert-18306-revert-18278-se/remove-definitely-gp branch from 99342e0 to b18a8e0 Compare July 25, 2023 07:00
@AlexTugarev AlexTugarev marked this pull request as ready for review July 25, 2023 07:00
@AlexTugarev AlexTugarev requested a review from a team as a code owner July 25, 2023 07:00
@AlexTugarev AlexTugarev requested a review from akosyakov July 25, 2023 07:00
@AlexTugarev
Copy link
Member Author

@akosyakov, please ✅ on this, as I had to abandon the other PR you already ✅'d in #18326 (review)

🤞🏻 the build is green now.

/unhold

@AlexTugarev
Copy link
Member Author

That's quick. Thanks @akosyakov!

@AlexTugarev
Copy link
Member Author

I'll resume deployment, once this is done.

@roboquat roboquat merged commit 6d703bd into main Jul 25, 2023
@roboquat roboquat deleted the revert-18316-revert-18306-revert-18278-se/remove-definitely-gp branch July 25, 2023 07:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants