+repopushurl()
+{
+ [ -n "$pushbase" ] || return 0
+ repo_t=`echo "$repos_urls" | grep "^$1 " | cut -d '|' -f 2 | tr -d ' '`
+ if [ -n "$repo_t" ]; then
+ case "$repo_t" in
+ *://*)
+ ;;
+ *)
+ echo "$pushbase$repo_t"
+ ;;
+ esac
+ else
+ if [ x"$1" = x"." ]; then
+ echo "$pushbase""xonotic.git"
+ else
+ echo "$pushbase${1##*/}.git"
+ fi
+ fi
+}
+