diff options
author | Leo Famulari <leo@famulari.name> | 2017-01-23 00:57:46 -0500 |
---|---|---|
committer | Leo Famulari <leo@famulari.name> | 2017-02-08 03:42:08 +0100 |
commit | f0d0c5bb188455e0b82ee3089ba103ef71877c87 (patch) | |
tree | f048dc0fa25b9932090041688996146fc4bc8cda /gnu/packages | |
parent | 4621acfd8272fa93d0530faa5f015b26a194b587 (diff) |
etc: The pre-push hook says which commits failed the signature check.
* etc/git/pre-push: Check each commit's signature individually so that
we can report which commits fail the check.
Diffstat (limited to 'gnu/packages')
0 files changed, 0 insertions, 0 deletions