Intégration GitHub

Recherchez dans les dépôts, triez les tickets et suivez les pull requests.

Pour l'entreprise immobilière qui développe aussi son propre logiciel.

Beaucoup d'entreprises immobilières développent leurs propres outils — un site de réservation directe, un portail propriétaire, des automatisations internes. Si c'est votre cas, connecter GitHub met les dépôts, les tickets et les pull requests à portée du même assistant.

Aperçu

Une entreprise immobilière avec des développeurs n'a plus rien d'exceptionnel. Le site de réservation directe est sur mesure, le portail propriétaire a été construit en interne, et quelqu'un maintient les scripts qui font tenir le reporting.

Cette équipe a le même problème de contexte que tout le monde, dans un vocabulaire différent. Ce qui a changé dans ce dépôt la semaine dernière, quelles pull requests attendent une revue, si tel bug a vraiment été corrigé — tout cela a une réponse, mais exige aujourd'hui que quelqu'un aille la chercher.

Connecter GitHub rend ces réponses accessibles au même endroit que le reste de l'activité. Cette intégration s'adresse directement à votre équipe technique, pas à vos opérations, et c'est le cadrage honnête : cette connexion n'a rien à voir avec la messagerie voyageurs et tout à voir avec le logiciel que possède votre entreprise.

Autant être clair sur la limite : connecter GitHub ne donne à l'IA aucune nouvelle capacité sur les voyageurs, les propriétés ou les réservations. Cela donne à vos développeurs la même portée conversationnelle sur leur propre travail que celle dont dispose votre équipe opérationnelle sur le sien.

Ce que ProhostAI peut faire avec GitHub

Une fois GitHub connecté, ProhostAI travaille avec vos dépôts, tickets et pull requests en langage naturel.

Lecture

Rechercher dans les dépôts — Retrouvez du code, des fichiers et l'historique dans les dépôts que le compte connecté peut voir. “Qu'est-ce qui a changé dans le service de réservation cette semaine ?”
Passer en revue les tickets et PR — Voyez ce qui est ouvert, ce qui stagne et ce qui attend une revue.

Création et mise à jour

Créer et mettre à jour des tickets — Ouvrez un ticket avec les détails joints, ou mettez-en un à jour au fil de l'avancement.
Commenter les pull requests — Laissez un commentaire sans basculer vers le dépôt.

Comment connecter GitHub

GitHub se connecte via OAuth. La connexion peut être limitée à l'organisation ou aux dépôts de votre choix.

1Ouvrez ProhostAI et allez dans Paramètres → Connexions.
2Recherchez GitHub et sélectionnez Connecter.
3Connectez-vous à GitHub et approuvez les autorisations.
4Demandez quels tickets sont ouverts sur un dépôt pour confirmer que cela fonctionne.

Bon à savoir

L'accès suit le compte connecté et les autorisations accordées — les dépôts privés que ce compte ne peut pas voir restent invisibles.

Pour une organisation, un propriétaire peut devoir approuver l'application avant que les membres puissent l'utiliser.

C'est un outil pour votre équipe technique. Il n'a aucune incidence sur la messagerie voyageurs ou les opérations immobilières.

Questions fréquentes sur l'intégration GitHub

Parce que certaines développent leur propre logiciel — un site de réservation directe, un portail propriétaire, des automatisations internes. Cette connexion est destinée à cette équipe, pas aux opérations.

Seulement ceux que le compte connecté peut voir, dans les limites des autorisations accordées à la connexion. Les propriétaires d'organisation peuvent devoir approuver l'application au préalable.

Oui, il peut créer et mettre à jour des tickets et commenter des pull requests, dans la limite de l'accès du compte connecté.

Non. Cette intégration est entièrement distincte des opérations immobilières et des conversations voyageurs.

Ouvrez Paramètres → Connexions dans ProhostAI et déconnectez-le, ou révoquez l'application dans les paramètres de votre compte ou de votre organisation GitHub.