--- /dev/null
+#!/usr/bin/env bash
+# Executed over ssh on sr.ht CI/CD for my websites
+
+gitrun() {
+ git -C $dir reset --hard
+ git -C $dir clean -fxd
+ git -C $dir pull --ff-only
+}
+
+if [[ $1 == "gemini" ]]; then
+ dir=/var/www/armaanb.net-gemini
+ gitrun
+ (cd /var/www/armaanb.net-gemini ; python3 mdconvert.py)
+elif [[ $1 == "gopher" ]]; then
+ dir=/var/www/armaanb.net-gopher
+ gitrun
+elif [[ $1 == "fortune" ]]; then
+ dir=/var/www/fortune-online
+ gitrun
+elif [[ $1 == "http" ]]; then
+ dir=/var/www/armaanb.net-http
+ gitrun
+ (cd /var/www/armaanb.net-http ; bash rss-gen)
+fi