web="`git config --get --path remote.web.url`" &&
[ -n "$web" ] && git push web
+cgi="`git config --get --path remote.cgi.url`" &&
+[ -n "$cgi" ] && git push cgi
+
# Copy templates and generated files with timestamps to avoid rebuilding
rsync -ahP "$current"/html/html.py "$current"/html/html.tmpl \
"$current"/html/redirect.py "$current"/html/redirect.tmpl html &&