#!/bin/sh wget -q -O plenum.md "https://md.ccc-mannheim.de/9vP-toraQhOONftDOFuQtw/download" if [[ $(git diff --shortstat 2> /dev/null | tail -n1) != "" ]]; then git commit -m "bot update" *.md git push fi