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

1 Dec
2018
1 Dec
'18
4:28 p.m.
commit e2b418bab5c3249fba7b430b942da67ddf8a43dc Author: rl1987 <rl1987@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
2405
Age (days ago)
2405
Last active (days ago)
0 comments
1 participants
participants (1)
-
nickm@torproject.org