tree 6943b19b27cc7558ecc789c71150f5e5fe2fcb15
parent b9f00a7f14df374d2bba23e7c089a205c9b74f4e
author Ron Eldor <ron.eldor@arm.com> 1481805757 +0200
committer Simon Butcher <simon.butcher@arm.com> 1501164481 +0100

Pre push hook script

Add git_hook folder, and pre-push script,
to be soft linked from .git/hooks/pre-push