Skip to content

zoekt-git-index: add -meta flag for repository metadata - #1148

Merged
keegancsmith merged 1 commit into
sourcegraph:mainfrom
Lueton:feature/meta-flag-upstream
Aug 26, 2026
Merged

zoekt-git-index: add -meta flag for repository metadata#1148
keegancsmith merged 1 commit into
sourcegraph:mainfrom
Lueton:feature/meta-flag-upstream

Conversation

@Lueton

@Lueton Lueton commented Aug 26, 2026

Copy link
Copy Markdown
Contributor

Add a -meta flag that points to a JSON file with a repository description, decoded into the shard's RepositoryDescription. This allows setting arbitrary metadata (and an explicit repo name) at index time without deriving everything from the folder name.

  • If the .meta file sets a Name, it takes precedence over the folder-derived name.
  • Expose Repository.Metadata in the web API's repo list so indexed metadata is visible via /api and the web UI.

Add a -meta flag that points to a JSON file with a repository
description, decoded into the shard's RepositoryDescription. This
allows setting arbitrary metadata (and an explicit repo name) at
index time without deriving everything from the folder name.

- If the .meta file sets a Name, it takes precedence over the
  folder-derived name.
- Expose Repository.Metadata in the web API's repo list so indexed
  metadata is visible via /api and the web UI.

@keegancsmith keegancsmith left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

thanks! Don't think we had a way to set this field via a command in this repo. Was added by GitLab which wraps the builder API directly. cc @binarymason

@keegancsmith
keegancsmith merged commit df97bab into sourcegraph:main Aug 26, 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.

2 participants