Ligar o GitHub

Como ligar a sua conta

1. Abra Definições → Conectores na aplicação tAI.
2. Clique em Ligar junto a GitHub.
3. Inicie sessão com a sua conta GitHub, caso ainda não o tenha feito.
4. Reveja as permissões no ecrã de consentimento do próprio GitHub.
5. Aprove.

Este passo concede ao tAI acesso geral à sua conta GitHub. Por si só, não anexa nenhum repositório a uma conversa.

Anexar um repositório a uma conversa

1. No compositor de mensagens, clique no botão +, depois em Conectores e depois em GitHub.
2. Procure e selecione o repositório com o qual pretende trabalhar.
3. Reveja o aviso apresentado antes de confirmar.

O repositório fica então preparado como contexto para a sua próxima mensagem. Apenas um repositório pode estar ativo por conversa; escolher um diferente substitui o que estava anexado anteriormente.

Factos

• Depois de um repositório ser anexado, o tAI clona uma cópia de trabalho do mesmo para a sandbox dessa conversa, e edita os ficheiros aí com as suas ferramentas de ficheiros normais, em vez de uma chamada de API por ficheiro.
• Ficheiros muito grandes e repositórios acima do limite de número de ficheiros não são incluídos no clone. github_read_file e github_search_code continuam a conseguir aceder a tudo o que ficou de fora do clone. Consulte Limitações.
• A ligação ao nível da conta é independente da sessão do próprio tAI. Desligar o GitHub não termina a sua sessão no tAI.

Desligar

1. Abra Definições → Conectores.
2. Encontre o GitHub e clique em Desligar.

Os commits e pull requests já enviados permanecem no seu repositório exatamente como estão. Desligar não os desfaz nem elimina.