tree 2f10e58c5bc6dc2d804183078696ee5bf11bee6a
parent 3aa712dff78b10f8fd1b6c4ca58187f80b152560
author Ron Eldor <ron.eldor@arm.com> 1481805757 +0200
committer Simon Butcher <simon.butcher@arm.com> 1500899126 +0200

Pre push hook script

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