Skip to content
Avatar

Achievements

Achievements

Organizations

@gitpod-io
Block or Report

Block or report geropl

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. Rust library for accessing Guntamatic devices (https://www.guntamatic.com/)

    Rust

  2. tarfs Public

    A readonly FUSE filesystem that allows to mount tar files

    Rust

769 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri
Activity overview
Contributed to gitpod-io/gitpod, geropl/roborally, gitpod-io/leeway and 5 other repositories

Contribution activity

October 2021

Created 1 repository

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

#5774: Improve integration with www.gitpod.io around cookies (gitpod-user, )

Description This PR includes two commits: respect the (upcoming) gitpod-marketing-website-visited to hide the "Welcome" screen (0a8f92c) unify the…

+58 −82 19 comments

Created an issue in gitpod-io/gitpod that received 3 comments

[agent-smith] Better detect miner binaries by scanning strings, too

Today again we saw running miners that built their binaries with "stripped" symbols, making it impossible for AS to detect them. A solution would b…

3 comments

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