Connecting to Remote Repositories
Connection is a feature within Tabnine Personalization, created to improve the relevance and precision of AI-powered code suggestions.
What is Connection?
Connection is a feature within Tabnine Personalization, created to improve the relevance and precision of AI-powered code suggestions. By making Tabnine aware of remote repositories within the organization – beyond just the developer’s local environment – Connection provides a broader scope of contextual code examples.
Utilizing a Global RAG index, Connection retrieves relevant code snippets from these remote sources.
Enabling Remote Codebase Awareness in Tabnine Enterprise
(connection to software repository for global code awareness)
Codebase awareness is available only for Tabnine Chat, and not for Code Completions.
Note:
Connection to the remote codebase is only available if Tabnine Context is enabled.
If this feature is disabled, contact your account manager at Tabnine to enable it.
Setting Remote Git Providers
To start, an admin should go to the Admin Console. From there enter ⚙ Settings, then select Personalization (in older versions, from Settings go to Workspace).
If this feature is disabled, contact your Tabnine account manager to enable it.
Once enabled, the admin can link Connection to remote repositories.
Next, the admin should define Connection to their git providers (using SSH Key or HTTPS credentials). Finally, the admin can add repositories using these connection methods.
Start with an empty state. Enable the Connection feature in order to connect to a provider.
Connection with an SSH Key
Next, set Connection to a git provider with an SSH key, which you can generate in the window:
The admin then copies the SSH key and adds it to their git provider. For example: GitHub, GitLab, and Bitbucket.
Connection with HTTPS
Alternatively, you can set Connection to a git provider via HTTPS using PTA (personal access tokens) from the git providers:
Managing Connected Repositories
Adding Repositories
Before you add your first git repo, you will see a gray window. There, click the blue button reading Connect to a git repository.
Again, you can either use an SSH Key or HTTPS.
Either way, paste the link to the repo.
With HTTPS, also add the connection name under Select HTTPS Credentials.
For both SSH and HTTPS, next hit Connect.
You will see the following message in the lower righthand corner of the screen when a repo is successfully added:
Once you already have one git connected, the window will show the list of all available gits as well as a blue + Connect repository button.
Press that button, then follow the same process as above.
Optionally, you can add a link pattern for source code navigation.
Removing & Editing
To edit providers, select the blue Edit git providers text to the right above the Connect to a git repository window.
Alternatively, you can also delete current repositories. Once done, the following message will display in the lower righthand corner of the screen:
View Status
There might be a delay beforehand, where a status message will read Queued for indexing. Indexing might take a while, possibly up to an hour.
There will be one of four statuses: "Pending," "In process," "Successful," or "Failed."
Last updated
Was this helpful?