From 3788a9a77e0fac8a7af63fada2701ea019c13dfa Mon Sep 17 00:00:00 2001
From: "R. Steve McKown" <rsmckown@gmail.com>
Date: Thu, 27 Sep 2012 18:01:49 -0600
Subject: [PATCH] repo-push-public gets same cmdline arg as git-push-public

---
 repo-push-public | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repo-push-public b/repo-push-public
index d0251dc..87c70e7 100755
--- a/repo-push-public
+++ b/repo-push-public
@@ -3,8 +3,8 @@
 # Push changes to the local TMI repo to the public repo.  We really should be
 # using launchpad to host the public version of the TMI repo.
 
-PUBLICSERVER="$1"
-[ -z "$PUBLICSERVER" ] && PUBLICSERVER=oss.titaniummirror.com
+PUBLICSERVER=oss.titaniummirror.com
+[ "$1" = "-s" -a -n "$2" ] && PUBLICSERVER="$2"
 
 echo "Updating APT repo on $PUBLICSERVER"
 rsync -avz --delete /var/local/aptrepo/ $PUBLICSERVER:/var/local/aptrepo/
-- 
2.39.2