search

eclipse-cdt-cloud / cdt-cloud

Components for web-based C/C++ tools
https://www.eclipse.org/cdt-cloud
Eclipse Public License 2.0
17 stars 0 forks source link

GitPod integration for eclipse-cdt-cloud #14

Closed bhufmann closed 2 years ago

bhufmann commented 2 years ago

The theia-trace-extension and related repos have been transferred to the eclipse-cdt-cloud GitHub organization.

Before the transfer, the GitPod GitHub app was enabled to use the GitHub integration. It's has been useful for quick code reviews, and the theia-trace-extension uses it for a demo application for user's to try.

I'd like to enable GitPod GitHub app for the eclipse-cdt-cloud GitHub organization. As far as I know GitHub apps need to be installed on the GitHub organization level and not per repository.

Are there any objections for me requesting access for eclipse-cdt-cloud (see screenshot below)? Please let me know.

image

jonahgraham commented 2 years ago

No objection. In fact quite the opposite! Go for it.

bhufmann commented 2 years ago

Thanks. I've requested access. Should be done soon.

bhufmann commented 2 years ago

Permission is granted and the Gitpod app is now installed in the eclipse-cdt-cloud organization.

bhufmann commented 2 years ago

This works now. See for example https://github.com/eclipse-cdt-cloud/theia-trace-extension/pull/731.