diff options
author | MarcoFalke <falke.marco@gmail.com> | 2020-05-30 07:56:56 -0400 |
---|---|---|
committer | MarcoFalke <falke.marco@gmail.com> | 2020-05-30 08:32:33 -0400 |
commit | fa2ffe87f794caa74f80c1c2d6e6067ee4849632 (patch) | |
tree | 30c6392a3ea61f0597ce9cff550a298a03b8e463 /contrib/verify-commits/pre-push-hook.sh | |
parent | fac2eeeb9d718bdb892eef9adf333ea61ba8f3d0 (diff) |
ci: Deduplicate DOCKER_EXEC
Diffstat (limited to 'contrib/verify-commits/pre-push-hook.sh')
0 files changed, 0 insertions, 0 deletions