#!/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"