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.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
Here are a few of the projects I work on for fun and profit …
A command line interface for 1Password
Adds Last.fm Love, Ban and tagging abilities to Spotify
Like git blame, but interactive.
Tools for training Stanford NLP's NER models
Notes and slides for talks and presentations.
In some contexts it's useful to parse the output of srb tc so that it can be presented somewhere else, e.g. to add type errors as annotati…
Seeing something unexpected? Take a look at the
GitHub profile guide.