 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 |