#!/bin/sh
git push origin master
git push tildegit master
ssh opfez@tilde.town "cd public_html/codex && git pull && make"
ssh skoskapet "cd codex && git pull && make"