Commit graph

13 commits

Author SHA1 Message Date
netravnen e6c859d9bd misc: fix wrong registry remote name 2019-01-04 09:34:25 +00:00
netravnen b93f428e97 Update update.sh 2019-01-04 09:34:25 +00:00
netravnen 4edb0b53ea update.sh: Added a roa/README.md to generated output 2019-01-04 09:34:25 +00:00
netravnen 3cd8ba21a5 Move update functions to update.sh 2019-01-04 09:34:25 +00:00
netravnen 4287f264f7 git ops: add quiet switch for git push pull operations. 2019-01-04 09:34:25 +00:00
netravnen e7405a7d80 Update update.sh
- Avoid pushing to branch named upstream.
- Push only from local master to remote master branch. Even if other branch is currently checked out.
2019-01-04 09:34:24 +00:00
netravnen ac1d498d98 Update update.sh 2019-01-04 09:34:24 +00:00
netravnen f7aba9160a Update rfc8416.php update.sh 2019-01-04 09:34:24 +00:00
netravnen 880ef30c25 Update update.sh 2019-01-04 09:34:13 +00:00
netravnen fe996e6727 update.sh now also commits dn42-rfc8416-export.json if previously updated 2019-01-04 09:34:13 +00:00
netravnen 199881dc79 Readded update.sh
o Now includes commit to dn42-rpki-export.json
2019-01-04 09:33:04 +00:00
netravnen 6d73609a43 Removed update.sh 2019-01-04 09:33:04 +00:00
netravnen 12ad96973d Add update.sh 2019-01-04 09:33:04 +00:00