Skip to content

Add ShardPrefixOverride to support custom shard naming#1005

Open
raviiitb wants to merge 1 commit intosourcegraph:mainfrom
raviiitb:ShardPrefixOverrideInOptions
Open

Add ShardPrefixOverride to support custom shard naming#1005
raviiitb wants to merge 1 commit intosourcegraph:mainfrom
raviiitb:ShardPrefixOverrideInOptions

Conversation

@raviiitb
Copy link

Added ShardPrefixOverride in Options to support a custom prefix for shard names. At GitLab, currently, we send the repository ID in the field RepositoryDescription.Name. Now we want to support repo: filtering. For that, we need to send the repository name for the field RepositoryDescription.Name. But we want to keep the prefix name as ID because it will be a huge effort to change the prefix now. Our suggestion is to add a new option field ShardPrefixOverride, which we can use to send the ID.

Also added the command-line option -shard_prefix_override for the same.

@raviiitb
Copy link
Author

@keegancsmith, could you please review this PR?

CC @binarymason @dgruzd

@raviiitb
Copy link
Author

raviiitb commented Feb 4, 2026

@keegancsmith Just a gentle ping, if you get a chance to review this MR?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant