#!/bin/sh
cd "$(dirname "$0")"

test -e ssss.txt || touch ssss.txt

wget -O ssss-new.txt https://cs.au.dk/~sortie/ssss/ssss.txt > /dev/null 2>&1

if diff ssss.txt ssss-new.txt > /dev/null 2>&1
then
	rm ssss-new.txt
else
	mv ssss-new.txt ssss.txt
	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
fi