🌇 GitHub App in Dashboard

[AlexTugarev]

Description

This PR jsonrpc API methods related to the GitHub App. The remaining necessity to tell if the GitHub App is installed is done on FE.

Summary generated by Copilot

🤖 Generated by Copilot at 31a8d02

Removed the GitHub app installation feature from the dashboard and the server. This feature was deprecated and no longer required for Gitpod. Simplified the code and the UI related to the GitHub app integration.

Related Issue(s)

Fixes #

How to test

Documentation

Preview status

Gitpod was successfully deployed to your preview environment.

• 🏷️ Name - at-is-gith874b75bc6d
• 🔗 URL - at-is-gith874b75bc6d.preview.gitpod-dev.com/workspaces.
• 📚 Documentation - See our internal documentation for information on how to interact with your preview environment.
• 📦 Version - at-is-github-app-enabled-gha.20049
• 🗒️ Logs - GCP Logs Explorer

Build Options

Build

• /werft with-werft
  Run the build with werft instead of GHA
• leeway-no-cache
• /werft no-test
  Run Leeway with --dont-test

Publish

• /werft publish-to-npm
• /werft publish-to-jb-marketplace

Installer

• analytics=segment
• with-dedicated-emulation
• workspace-feature-flags
  Add desired feature flags to the end of the line above, space separated

Preview Environment / Integration Tests

• /werft with-local-preview
  If enabled this will build install/preview
• /werft with-preview
• /werft with-large-vm
• /werft with-gce-vm
  If enabled this will create the environment on GCE infra
• with-integration-tests=all
  Valid options are all, workspace, webapp, ide, jetbrains, vscode, ssh. If enabled, with-preview and with-large-vm will be enabled.
• with-monitoring

/hold

[AlexTugarev]

/unhold