Integração com o GitHub

Pesquise repositórios, trie issues e siga pull requests.

Para a empresa de propriedades que também faz software.

Muitos negócios de propriedades constroem as suas próprias ferramentas — um site de reserva direta, um portal de proprietários, automações internas. Se o seu constrói, ligar o GitHub põe repositórios, issues e pull requests ao alcance do mesmo assistente.

Visão geral

Uma empresa de propriedades com engenheiros já não é invulgar. O site de reserva direta é feito à medida, o portal de proprietários foi construído em casa, e alguém mantém os scripts que sustentam os relatórios.

Essa equipa tem o mesmo problema de contexto que toda a gente, noutro vocabulário. O que mudou neste repositório na semana passada, que pull requests estão à espera de revisão, se aquele bug chegou mesmo a ser corrigido — tudo respondível, e tudo a exigir neste momento que alguém vá ver.

Ligar o GitHub torna essas perguntas respondíveis no mesmo sítio que o resto do negócio. Destina-se claramente à sua equipa técnica e não à de operações, e é essa a leitura honesta: esta ligação não tem nada que ver com mensagens a hóspedes e tem tudo que ver com o software que a sua empresa por acaso tem.

Vale a pena ser claro quanto ao limite: ligar o GitHub não dá à AI qualquer capacidade nova com hóspedes, propriedades ou reservas. Dá aos seus programadores, sobre o trabalho deles, o mesmo alcance conversacional que a sua equipa de operações tem sobre o dela.

O que a ProhostAI pode fazer com o GitHub

Com o GitHub ligado, o ProhostAI trabalha com os seus repositórios, issues e pull requests em linguagem simples.

Leitura

Pesquisar repositórios — Encontre código, ficheiros e histórico nos repositórios que a conta ligada consegue ver. “O que mudou no serviço de reservas esta semana?”
Rever issues e PRs — Veja o que está aberto, o que está parado e o que espera revisão.

Criação e atualização

Criar e atualizar issues — Abra uma issue com o detalhe anexado, ou atualize-a à medida que o trabalho avança.
Comentar em pull requests — Deixe um comentário sem mudar para o repositório.

Como ligar o GitHub

O GitHub liga-se por OAuth. A ligação pode ser limitada à organização ou aos repositórios que escolher.

1Abra o ProhostAI e vá a Definições → Ligações.
2Procure GitHub e selecione Ligar.
3Inicie sessão no GitHub e aprove as permissões.
4Pergunte que issues estão abertas num repositório para confirmar que funciona.

Bom saber

O acesso segue a conta ligada e os âmbitos concedidos — repositórios privados que essa conta não vê continuam invisíveis.

Numa organização, pode ser preciso que um owner aprove a aplicação antes de os membros a poderem usar.

Esta é uma ferramenta para a sua equipa de engenharia. Não tem qualquer efeito nas mensagens a hóspedes nem nas operações das propriedades.

Perguntas frequentes sobre a integração com o GitHub

Porque alguns constroem software — um site de reserva direta, um portal de proprietários, automações internas. Esta ligação é para essa equipa, não para operações.

Só aqueles que a conta ligada consegue ver, dentro dos âmbitos concedidos na configuração. Os owners da organização podem ter de aprovar a aplicação primeiro.

Sim, consegue criar e atualizar issues e comentar em pull requests, dentro do acesso que a conta ligada tem.

Não. É totalmente separado das operações das propriedades e das conversas com hóspedes.

Abra Definições → Ligações no ProhostAI e desligue-o, ou revogue a aplicação nas definições da sua conta ou organização GitHub.