🤷♂️
Being a monoid in the category of endofunctors.
-
Graylog Inc.
- Berlin, Germany
- http://graylog.com
Block or Report
Block or report dennisoelkers
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
-
merge-on-green.sh
merge-on-green.sh 1#!/bin/sh
23# Polling the status checks for a PR and merges it when they are green.
4# Needs to be executed in the directory of the PR's repo.
5#
-
pr-check.sh
pr-check.sh 1#!/bin/sh
23# Returning the status of all open PRs of $1, execute it in the directory of the git repository
4# Perfect in combination with `watch -n 30 -c pr-check`
5 -
-
brghtnss
brghtnss PublicSimple tool for incremental/decremental adjustment of screen brightness
Rust
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.