Skip to content
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

Remove unused third party #25267

Closed
wants to merge 1 commit into from

Conversation

comius
Copy link
Contributor

@comius comius commented Feb 12, 2025

Requires a github merge.

@comius comius force-pushed the remove-unused-third_party branch from 482e865 to 973ae4c Compare February 12, 2025 18:19
@comius comius marked this pull request as ready for review February 12, 2025 18:19
@comius comius requested review from meteorcloudy and removed request for ted-xie and ahumesky February 12, 2025 18:19
@github-actions github-actions bot added the awaiting-review PR is awaiting review from an assigned reviewer label Feb 12, 2025
@meteorcloudy
Copy link
Member

@iancha1992 This needs to be merged on GoB instead of google3.

@meteorcloudy meteorcloudy added awaiting-PR-merge PR has been approved by a reviewer and is ready to be merge internally and removed awaiting-review PR is awaiting review from an assigned reviewer labels Feb 13, 2025
@sgowroji sgowroji added the team-ExternalDeps External dependency handling, remote repositiories, WORKSPACE file. label Feb 14, 2025
copybara-service bot pushed a commit that referenced this pull request Feb 14, 2025
Partial commit for third_party/*, see #25267.

Change-Id: I9ab8c671ca8b2d58533cff008bdea7351d799c41
Signed-off-by: Satyananda Khuntia <[email protected]>
@satyanandak
Copy link

Merged at f059b0c

@github-actions github-actions bot removed the awaiting-PR-merge PR has been approved by a reviewer and is ready to be merge internally label Feb 14, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
team-ExternalDeps External dependency handling, remote repositiories, WORKSPACE file.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants