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

chore: Rename locals id -> uploadID, dump -> upload#62530

Merged
varungandhi-src merged 1 commit into
mainfrom
vg/rename-local
May 8, 2024
Merged

chore: Rename locals id -> uploadID, dump -> upload#62530
varungandhi-src merged 1 commit into
mainfrom
vg/rename-local

Conversation

@varungandhi-src

Copy link
Copy Markdown
Contributor

Looks like I missed removing this usage of 'dump' here.

Test plan

n/a

@varungandhi-src varungandhi-src requested a review from keynmol May 8, 2024 06:50
@cla-bot cla-bot Bot added the cla-signed label May 8, 2024
@varungandhi-src varungandhi-src enabled auto-merge (squash) May 8, 2024 06:50
@github-actions github-actions Bot added team/graph Graph Team (previously Code Intel/Language Tools/Language Platform) team/product-platform labels May 8, 2024
@varungandhi-src varungandhi-src merged commit 445b836 into main May 8, 2024
@varungandhi-src varungandhi-src deleted the vg/rename-local branch May 8, 2024 07:18
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