Automatise l’accès à Codespaces pour les nouveaux développeurs
Un nouveau développeur est ajouté à ton équipe Notion. Notis lui accorde immédiatement l’accès à GitHub Codespaces pour qu’il puisse coder dans le cloud sans attendre.
Déclencheur
New Page
Action
Add users to codespaces access for an organization
Autorise des membres de l’organisation à utiliser Codespaces facturés à celle-ci.
Pourquoi c’est utile
L’accès à Codespaces est souvent oublié parmi les nombreuses tâches d’intégration. Les développeurs restent bloqués à configurer un environnement local alors que le développement dans le cloud est déjà prêt.
- Permettre aux nouveaux développeurs de commencer aussitôt dans le cloud
- Réduire les difficultés de configuration locale
- Éliminer les demandes d’accès à Codespaces
- Accélérer l’intégration de plusieurs heures
Mise en place
Monte-le en quelques étapes simples.
- 1Connecte les intégrations Notion et GitHub.
- 2Identifie ta base de données d’équipe dans Notion.
- 3Dis à Notis : « Quand une personne rejoint mon équipe de développement dans Notion, accorde-lui l’accès à GitHub Codespaces, facturé à mon organisation. »
- 4Confirme ton organisation GitHub.
- 5Teste en ajoutant un développeur à ton équipe Notion.
Questions sur ce workflow
Cela affecte-t-il la facturation ?
Oui. L’utilisation de Codespaces par les nouveaux membres est facturée à ton organisation. Tu peux définir des limites par personne.
Puis-je révoquer l’accès plus tard ?
Oui. Retire la personne de l’équipe dans Notion et Notis révoque son accès à Codespaces.
Que se passe-t-il si une personne ne doit pas avoir accès à Codespaces ?
Demande à Notis de vérifier une propriété : « Accorde l’accès si le rôle est Developer ou Senior Developer. »
Quand ceci arrive · Déclencheur
Fais ceci · Action
Déclencheurs et actions pris en charge
Notis crée des workflows qui relient Notion à GitHub. Un déclencheur part d’un endroit, une action arrive dans un autre.
Déclencheurs Notion
Actions GitHub
Déclencheur récurrent
Notis lance ce workflow selon un planning : chaque jour, chaque semaine ou pendant les heures de bureau, par exemple.
Accept a repository invitation
Accepte une invitation en attente à rejoindre un dépôt.
Déclencheur webhook
Notis lance ce workflow quand un outil externe ou ton propre backend envoie une requête HTTP.
Abort Repository Migration
Interrompt une migration de dépôt en attente ou en cours.
Comment Created
Se déclenche lorsqu’un commentaire est créé dans l’espace de travail accessible.
Add email for auth user
Ajoute des adresses e-mail à ton compte.
Database Created
Se déclenche lorsqu’un conteneur de base de données est créé.
Add app access restrictions
Autorise des applications à pousser sur une branche protégée.
Data Source Created
Se déclenche lorsqu’une nouvelle source de données est créée dans l’espace de travail.
Add a repository collaborator
Ajoute un utilisateur comme collaborateur d’un dépôt ou modifie son accès.
Data Source Schema Updated
Se déclenche lorsque des colonnes sont ajoutées, supprimées ou renommées dans une source de données.
Add field to user project
Ajoute un champ personnalisé à un projet appartenant à l’utilisateur.
Page Content Updated
Se déclenche lorsque le contenu principal d’une page accessible est modifié.
Add a repository to an app installation
Accorde à une application l’accès à un dépôt.
Page Created
Se déclenche lorsqu’une nouvelle page est créée dans l’espace de travail accessible.
Add item to user project
Ajoute une issue ou une pull request à un projet appartenant à l’utilisateur.
Connecte deux apps avec Notis au milieu.
Notion et GitHub, ou toute autre combinaison parmi 1 500+ intégrations.
Quand ceci arrive · Déclencheur
Fais ceci · Action
Gagne ta première heure dès aujourd’hui.
Essai gratuit de 7 jours sur n’importe quel forfait payant, avec 20 $ de consommation inclus.
Sans carte bancaire. Fonctionne avec GitHub perso ou pro.