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