From dc4a02ec88276f27b58f2d866057d460a6c436ef Mon Sep 17 00:00:00 2001
From: Oleg Broytman <phd@phdru.name>
Date: Mon, 6 Jul 2015 18:47:43 +0300
Subject: [PATCH] Do not mirror

---
 publish2web | 4 ++--
 update      | 1 -
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/publish2web b/publish2web
index 35faf01..fded7bf 100755
--- a/publish2web
+++ b/publish2web
@@ -15,7 +15,7 @@ fi &&
 
 cd "$HOME"/tmp &&
 dest_dir="`basename \"$source_dir\"`".git &&
-git clone --mirror --config core.sharedRepository=0644 "$source_dir" "$dest_dir" &&
+git clone --bare --config core.sharedRepository=0644 "$source_dir" "$dest_dir" &&
 
 cd "$dest_dir" &&
 git gc --aggressive &&
@@ -48,4 +48,4 @@ cd "$source_dir" &&
 if [ -n "$directories" ]; then
    dest_dir="$directories/$dest_dir"
 fi &&
-exec git remote add --mirror=push web "$HOME"/Internet/WWW/htdocs/git.phdru.name/"$dest_dir"
+exec git remote add web "$HOME"/Internet/WWW/htdocs/git.phdru.name/"$dest_dir"
diff --git a/update b/update
index 34ed844..e76a158 100755
--- a/update
+++ b/update
@@ -21,7 +21,6 @@ git pull --ff-only current master &&
 web="`git config --get --path remote.web.url`" &&
 if [ -n "$web" ]; then
    git push web &&
-   cd "$web" && git branch -dr current/master && git update-server-info
 fi &&
 
 cd "$current" && exec git pull origin
-- 
2.39.5