Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Make it easier to add repositories that exist on my disk #1527
As a site admin who X (see below for the multiple values of X), I want to be able to quickly and easily add repositories that I have on disk. The current way of adding repositories from disk (https://docs.sourcegraph.com/admin/repo/add_from_local_disk#add-repositories-already-cloned-to-disk) is too cumbersome because:
The values of X (i.e., the use cases for which this need arises):
We have had a few issues/requests related to this:
Priority is low (please add a comment in this thread if you want us to reconsider this priority). Historically we haven't prioritized this feature because we want users to connect their code host, which lets them use Sourcegraph across all of their repositories and see more value. If there are reasons why users aren't comfortable connecting their code host, we've tried to address those directly instead of adding this workaround.
For me X='The repositories do not exist on any code host or at any remote Git URL. '
They exist on a local server. On the server I have tried to make a single copy of all my files and add to a git repo. This repo is imported into the docker instance, where it is mounted in
Inside docker I can do
From https://firstname.lastname@example.org/admin/repo/add_from_local_disk I get the understanding I should be able to add this as an external service somehow, but I don't get the details.
I tried to add a single git repository with the following config:
Output from sourcegraph is