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