Push to cgi-bin

diff --git a/update b/update
index 7791b427fe8f58745b8fc8f290d9a2598e2efbfa..b6a83ed34d5e4d0d79b9a9faf89353a651e69444 100755 (executable)
--- a/update
+++ b/update
@@ -20,6 +20,9 @@ git pull --ff-only current master &&
 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 &&