Block or report user



Popular repositories

  1. RK4Benchmark

    A simple test of Haskell performance on a very naive micro benchmark.


  2. planter-completion

    zsh autocomplete for Brett Terpstra's Planter:

  3. oh-my-zsh-themes

    Custom themes for oh-my-zsh

  4. bitbucket-issue-migration

    Forked from jeffwidman/bitbucket-issue-migration

    A small script for migrating repo issues from Bitbucket to GitHub


  5. urdfdom

    Forked from ros/urdfdom

    URDF parser


338 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

September 2017

Created an issue in ihmcrobotics/ihmc-build that received 8 comments

Secrets should not be in a file that can be accidentally version controlled

Currently, this plugin pulls secrets from a file that we have version controlled in many of our open source repositories ( Speci…

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