github/github-services — pull request #725 by mrb (2013-11-04 22:07:48+00:00)
Title: Update CONTRIBUTING.md

We do it the right way now!