Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.
Sign up-
Hetzner Cloud
- Munich
- Sign in to view email
- https://brauser.io
Pinned
617 contributions in the last year
Activity overview
Contributed to
voxpupuli/vox-pupuli-tasks,
Herzmut-Games/uwe,
kickr-me/core
and 5 other
repositories
Contribution activity
May 2020
- Fix incorrect status handling
- Dont modify PRs in development mode
- Update gems
- Ignore postres-data directory
- Cleanup dev/prod database setup
- CI check: log PR status if its unknown
- document docker commands
- Rename eligible_for_{,merge}comment / Prevent duplicate CI comments
- Cleanup eligible_for_comment attribute
- pull_request: save draft state
- pull_request: fix migration for status attribute
- Save CI status as PR attribute
- Set a PR label / comment if CI passes/fails