Skip to content
This repository was archived by the owner on Sep 30, 2024. It is now read-only.

chore: Delete old Dockerfile and build scripts#62922

Merged
varungandhi-src merged 1 commit into
mainfrom
vg/delete-Dockerfile
May 27, 2024
Merged

chore: Delete old Dockerfile and build scripts#62922
varungandhi-src merged 1 commit into
mainfrom
vg/delete-Dockerfile

Conversation

@varungandhi-src

Copy link
Copy Markdown
Contributor

IIUC, we can build everything using Bazel etc., so these aren't used anywhere.

Test plan

Check that CI passes

@cla-bot cla-bot Bot added the cla-signed label May 25, 2024
@github-actions github-actions Bot added team/graph Graph Team (previously Code Intel/Language Tools/Language Platform) team/product-platform labels May 25, 2024
@varungandhi-src varungandhi-src enabled auto-merge (squash) May 25, 2024 01:32
@varungandhi-src varungandhi-src requested a review from jhchabran May 25, 2024 01:33
@jhchabran

Copy link
Copy Markdown
Contributor

Thank you! @varungandhi-src do you mind tagging the @sourcegraph/team-dev-infra handle next time 🙏 ?

@varungandhi-src varungandhi-src merged commit 56f2f92 into main May 27, 2024
@varungandhi-src varungandhi-src deleted the vg/delete-Dockerfile branch May 27, 2024 16:52
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

cla-signed team/graph Graph Team (previously Code Intel/Language Tools/Language Platform) team/product-platform

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants