From fe996e6727b4a7e7db64ba8d1e59923f763b2efc Mon Sep 17 00:00:00 2001
From: Christoffer <christoffer@netravnen.de>
Date: Fri, 14 Dec 2018 15:27:50 +0000
Subject: [PATCH] update.sh now also commits dn42-rfc8416-export.json if
 previously updated

---
 update.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/update.sh b/update.sh
index 960c36b..29246bd 100755
--- a/update.sh
+++ b/update.sh
@@ -6,5 +6,9 @@ ISO_DATE=$(date -u +"%Y-%m-%dT%H:%M:%SZ")
 git add dn42-rpki-export.json
 git commit dn42-rpki-export.json -m "Updated dn42-rpki-export.json - $ISO_DATE"
 
+# Commit latest version of dn42-rfc8416-export.json
+git add dn42-rfc8416-export.json
+git commit dn42-rfc8416-export.json -m "Updated dn42-rfc8416-export.json - $ISO_DATE"
+
 # Push repository to every remote configured
 for REMOTE in $(git remote | paste -sd " " -) ; do git ps $REMOTE master ; done