post-receive-mirror-github: rename to sync-github-mirror

it's not longer a post-receive hook, so it's weird to call it one.

3 files changed, 2 insertions, 2 deletions

diff --git a/github-mirror b/github-mirror
index aa33cd5..b7cd2dc 100755
--- a/github-mirror
+++ b/github-mirror
@@ -6,7 +6,7 @@ mkdir -p /run/github-mirror
 
 (
     while read -u 3 repository; do
-       (cd "$repository"; /git/bin/post-receive-mirror-github) &
+       (cd "$repository"; /git/bin/sync-github-mirror) &
     done
 ) &
 
diff --git a/mirror-all-to-github.sh b/mirror-all-to-github.sh
index edaa6a9..3168508 100755
--- a/mirror-all-to-github.sh
+++ b/mirror-all-to-github.sh
@@ -5,7 +5,7 @@ find  -path './users' -prune -o -name config -print | while read repo_config; do
     pushd $(dirname $repo_config) 
 
     if [ -e git-daemon-export-ok -a -e HEAD -a -e $(awk '{ print $2 }' HEAD) ]; then
-        /git/bin/post-receive-mirror-github
+        /git/bin/sync-github-mirror
     fi
 
     popd
diff --git a/post-receive-mirror-github b/sync-github-mirror
index e1b70d4..e1b70d4 100755
--- a/post-receive-mirror-github
+++ b/sync-github-mirror