commit e2b418bab5c3249fba7b430b942da67ddf8a43dc
Author: rl1987 <[email protected]>
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
_______________________________________________
tor-commits mailing list
[email protected]
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-commits
