bot: git push to every remote

2020-04-22 17:05:18 +02:00 · 2020-04-22 17:05:18 +02:00 · 3562392a72
parent cb31a322fb
commit 3562392a72
1 changed files with 1 additions and 1 deletions
--- a/update.sh
+++ b/update.sh
@ -3,6 +3,6 @@ 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
+	git remote | xargs -L1 git push --all
 fi