GithubWhitespace

Remove whitespace in Github pull requests and compares

As of 2016-05-04. See the latest version.