User guide

Deployment

• Configuring the GitHub App
  • Create an app with a template URL
  • GitHub App settings
  • Create the app and secrets
  • Install the app in the source repository
  • Sourcing notebooks from multiple GitHub organizations
• Environment variables
• Backfilling GitHub numeric IDs
  • Running the backfill
  • Running as a Kubernetes job
  • Daily name reconciliation