[tor-commits] [tor/master] Rename to pre-push.git-hook

[nickm at torproject.org]

commit e2b418bab5c3249fba7b430b942da67ddf8a43dc
Author: rl1987 <rl1987 at sdf.lonestar.org>
Date:   Thu Nov 29 10:56:56 2018 +0200

    Rename to pre-push.git-hook
---
 scripts/maint/{pre-push => pre-push.git-hook} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)

diff --git a/scripts/maint/pre-push b/scripts/maint/pre-push.git-hook
similarity index 100%
rename from scripts/maint/pre-push
rename to scripts/maint/pre-push.git-hook