Skip to content
Avatar
291 followers · 74 following

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Organizations

@eclipse @xtext @TypeFox @gitpod-io
Block or Report

Block or report svenefftinge

Block user

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.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. eclipse-theia/theia Public

    Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.

    TypeScript 17k 2.2k

  2. gitpod-io/gitpod Public

    Gitpod automates the provisioning of ready-to-code development environments.

    TypeScript 8.2k 830

  3. gitpod-io/definitely-gp Public

    External `.gitpod.yml` files.

    Dockerfile 81 81

  4. gitpod-io/gitpod-docs Public archive

    DEPRECATED. Gitpod's documentation is here: https://github.com/gitpod-io/website/tree/master/src/docs

    JavaScript 5 10

  5. gitpod-io/workspace-images Public

    Ready to use docker images for Gitpod workspaces

    Dockerfile 336 280

  6. eclipse/xtext Public

    Eclipse Xtext™ is a language development framework

    642 296

481 contributions in the last year

Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Mon Wed Fri
Learn how we count contributions
Less More
NEW! View your contributions in 3D, VR and IRL!
Activity overview
Contributed to gitpod-io/gitpod, svenefftinge/multi-repo-main, gitpod-io/website and 30 other repositories

Contribution activity

June 2022

Created 1 repository

Created a pull request in gitpod-io/gitpod that received 25 comments

[dashboard] Move inactive workspaces out of sight

Description Many users are manually deleting workspaces, keeping their workspaces list clean. Users should feel less urge to manually clean up and …

+72 −19 • 25 comments
Opened 2 other pull requests in 2 repositories
spring-petclinic/spring-petclinic-graphql 1 closed
gitpod-io/gitpod 1 closed
Reviewed 1 pull request in 1 repository
gitpod-io/gitpod 1 pull request

Seeing something unexpected? Take a look at the GitHub profile guide.