Skip to content


@gitpod-io @gitpod-com
Block or Report

Block or report corneliusludmann

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

Popular repositories

  1. gitpod-docker-k3s Public archive

    Complete Gitpod installation in a Docker container with k3s

    Shell 24 18

  2. This repository intentionally left empty. It merely serves as an entry point for personal Gitpod experiments.

    21 19

  3. k3d-gitlab-gitpod Public archive

    GitLab and Gitpod installation on k3d

    Shell 14 9

  4. Bare-metal Kubernetes Cluster with Gitpod and GitLab on Virtual Machines with Vagrant and Ansible

    Shell 12 6

  5. gitpod-k3s-droplet Public archive

    Shell 8 10

  6. Dockerfile 5

379 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri

Contribution activity

December 2022

Created an issue in gitpod-io/gitpod that received 1 comment

[installer|docs] Write a guide about the Installer config contract and how to handle breaking changes and new config version

In the Installer, the config acts as a contract between the installer and the user. We considered the option to introduce a new config version in c…

1 comment
Opened 1 other issue in 1 repository

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