Block or report user

Organizations

@machine @GROSSWEBER

Pinned repositories

  1. dotfiles

    My dotfiles.

    Shell 27 8

  2. git-reveal

    git slides — http://agross.github.io/git-reveal

    JavaScript 1

  3. git-intro

    "Mit git beginnen" — http://agross.github.io/git-intro

    JavaScript 1

  4. duplicatefinder

    Finds and deletes duplicates in various directories, searches by flexible criteria

    C# 13 1

780 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

June 2017

Created a pull request in fsprojects/Paket that received 4 comments

[WIP] Make command line GNU-compatible

This is work in progress, hopefully to gather feedback. I tried to change the command line to remove some nuisances when you're used to deal with o…

Created an issue in fsprojects/Argu that received 10 comments

Support for obsolete arguments

To phase out the non-GNU parameter style of Paket we need to mark certain argument styles as obsolete. Let's take paket add for example. The curre…

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