# if name is not set the basename of the current directory is used,
# this is the directory of the repo when called from the post-receive script.
+# NOTE: needs to be set for correct locale (expects UTF-8) otherwise the
+# default is LC_CTYPE="POSIX".
+export LC_CTYPE="en_US.UTF-8"
+
name="$1"
if test "${name}" = ""; then
- name=$(basename $(pwd))
+ name=$(basename "$(pwd)")
fi
# config
# detect git push -f
force=0
while read -r old new ref; do
+ test "${old}" = "0000000000000000000000000000000000000000" && continue
+ test "${new}" = "0000000000000000000000000000000000000000" && continue
+
hasrevs=$(git rev-list "${old}" "^${new}" | sed 1q)
if test -n "${hasrevs}"; then
force=1