From 199881dc795a73e213ac33efc7c03278f5f61b55 Mon Sep 17 00:00:00 2001 From: Christoffer Date: Mon, 10 Dec 2018 17:33:34 +0100 Subject: [PATCH] Readded update.sh o Now includes commit to dn42-rpki-export.json --- update.sh | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100755 update.sh diff --git a/update.sh b/update.sh new file mode 100755 index 0000000..960c36b --- /dev/null +++ b/update.sh @@ -0,0 +1,10 @@ +#!/bin/bash + +ISO_DATE=$(date -u +"%Y-%m-%dT%H:%M:%SZ") + +# Commit latest version of dn42-rpki-export.json +git add dn42-rpki-export.json +git commit dn42-rpki-export.json -m "Updated dn42-rpki-export.json - $ISO_DATE" + +# Push repository to every remote configured +for REMOTE in $(git remote | paste -sd " " -) ; do git ps $REMOTE master ; done