#!/bin/sh
cd "$(dirname "$0")"
wget -O ssss.txt https://cs.au.dk/~sortie/ssss/ssss.txt > /dev/null 2>&1
git add ssss.txt > /dev/null 2>&1
git commit -m "Updated SSSS $(date +%Y-%m-%d)" > /dev/null 2>&1
git push origin master > /dev/null 2>&1