diff options
| author | Greg Troxel <gdt@ir.bbn.com> | 2010-11-03 07:37:23 -0400 |
|---|---|---|
| committer | Greg Troxel <gdt@ir.bbn.com> | 2010-11-03 07:37:23 -0400 |
| commit | 5195e17f8b49dc720252526a21afd7840240137b (patch) | |
| tree | e0ab06a35a8ddeede025ecef495f947f350cd7e7 /.gitignore | |
| parent | a8e474a598ed01591fd3814eee5f5b6a909e4f59 (diff) | |
infrastructure: Express preference for published git repos
* HACKING: Express notion that a published git repository is
preferred. Fold request for commit message into patch section.
Express desire for comments in code explaining correctness of
post-commit state, and for commit message to explain correctness of
the change.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions