From 3562392a7285758ef0bd4b82394a853a5643cf22 Mon Sep 17 00:00:00 2001 From: genofire Date: Wed, 22 Apr 2020 17:05:18 +0200 Subject: [PATCH] bot: git push to every remote --- update.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/update.sh b/update.sh index 0ae6dfe..0409201 100755 --- 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