git fetch
new revisions.
If you’re not familiar with Sourcebot connections, please read that overview first.
remote.origin.url
set in their git config are supported at this time. All other folders will be skipped.repos
directory located at $(PWD)
with a collection of git repositories:
Mount a volume
repos
directory so Sourcebot can read it’s contents. Sourcebot will not write to local repositories, so we can mount a separate read-only volume:Create a connection
file://
prefix. Glob patterns are supported. For example:/repos/repo_1
, /repos/repo_2
, etc. and index all valid git repositories.Sync individual repo
Sync multiple repos using glob patterns
Reference