2018-12-10 16:33:34 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
ISO_DATE=$(date -u +"%Y-%m-%dT%H:%M:%SZ")
|
|
|
|
|
2018-12-23 17:21:41 +00:00
|
|
|
# Ensure registry repository is up-to-date
|
|
|
|
git -C ../registry/ pull origin master:master --quiet 2>&1
|
|
|
|
|
|
|
|
# Checkout master branch in dn42/repository
|
|
|
|
git -C ../registry/ checkout master --quiet
|
|
|
|
|
|
|
|
# Update with data from registry
|
|
|
|
php roagen.php
|
|
|
|
php rfc8416.php
|
|
|
|
|
2018-12-14 18:51:54 +00:00
|
|
|
# Commit latest version of ROA files
|
2018-12-23 17:21:41 +00:00
|
|
|
git add roa/*
|
2018-12-19 14:08:29 +00:00
|
|
|
git commit roa/* -m "Updated ROA files - $ISO_DATE" --quiet
|
2018-12-10 16:33:34 +00:00
|
|
|
|
|
|
|
# Push repository to every remote configured
|
2018-12-23 17:21:41 +00:00
|
|
|
for REMOTE in $(git remote | egrep -v upstream | paste -sd " " -) ; do
|
|
|
|
git push $REMOTE master:master --quiet ; done
|