Commit d790545022fca2be6d317f9f5c3dcb30cdd1477a

Patrick Steinhardt 2017-11-24T11:21:54

CONTRIBUTING: add documentation of our commit message style While we try to conform to a certain commit message style, this style has never been documented anywhere. Document it such that new contributors do not have to go through another needless iteration of their pull requests just to fix up commit messages.