diff options
author | 2015-10-06 15:04:53 +0000 | |
---|---|---|
committer | 2015-10-07 07:09:34 +0000 | |
commit | 4def9d03408cf461d3eec452170ed5990ed6fdf4 (patch) | |
tree | b916d3b0a884a0cd8d8789dbd71c3855cc104208 /src/main/java/com/google/devtools/build/lib/rules | |
parent | a75b7b7cdd28cb6709131f36e951a904a7ebb734 (diff) |
[release] Ignore commit hooks
So this can be run in a git clone that has commit hooks
(e.g., for adding Gerrit change id) without adding garbage
to the commit log.
--
MOS_MIGRATED_REVID=104761737
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/rules')
0 files changed, 0 insertions, 0 deletions