Skip to content

Add ShardPrefixOverride to support custom shard naming#1005

Merged
keegancsmith merged 1 commit intosourcegraph:mainfrom
raviiitb:ShardPrefixOverrideInOptions
Mar 18, 2026
Merged

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

Conversation

@raviiitb
Copy link
Contributor

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
Contributor Author

@keegancsmith, could you please review this PR?

CC @binarymason @dgruzd

@raviiitb
Copy link
Contributor Author

raviiitb commented Feb 4, 2026

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

@binarymason
Copy link
Contributor

👋 Hey there @keegancsmith. Sending over a ping in case this PR got buried. Thanks! 🤝

Copy link
Member

@keegancsmith keegancsmith left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I have no memory of seeing this PR in my inbox. Apologies for such a long turnaround time on such a reasonable PR.

@keegancsmith keegancsmith merged commit 6b56e68 into sourcegraph:main Mar 18, 2026
1 check passed
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.

3 participants