Closed dmfenton closed 8 years ago
protip: you can clean up PRs that have commits like "delinting" by doing git commit --amend
(merges staged changes into previous commit) and git push remote branch --force
(the one time force pushes are okay -- to be used with extreme caution).
Resolves #35