Readded update.sh
o Now includes commit to dn42-rpki-export.json
This commit is contained in:
parent
7df86efd21
commit
199881dc79
10
update.sh
Executable file
10
update.sh
Executable file
|
@ -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
|
Loading…
Reference in a new issue