Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
Forked from gitpod-io/definitely-gp
External gp files
Forked from eclipse-theia/theia
Theia is a cloud & desktop IDE framework implemented in TypeScript.
Forked from delislesim/theia-trace-extension
Description: Theia trace viewer extension using the tsp-typescript-client (https://github.com/theia-ide/tsp-typescript-client) and Trace Server Protocol (https://github.com/theia-ide/trace-server-p…
Forked from theia-ide/dugite-extra
dugite-extra - High-level Git commands for dugite
Forked from TypeFox/npm-dependency-graph
Visualization of npm package dependencies based on Sprotty
Forked from akosyakov/theia-training
Fixes Incorrect AST generation with actions #297
Seeing something unexpected? Take a look at the
GitHub profile guide.