From 9ae6ecc39ee5e10eee93d515052199b329b8518b Mon Sep 17 00:00:00 2001
From: The PCI ID Mail Robot <pci-admins@ucw.cz>
Date: Sat, 19 Sep 2015 15:51:29 +0200
Subject: [PATCH] Added GitHub updater script

---
 scripts/update-github.sh | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100755 scripts/update-github.sh

diff --git a/scripts/update-github.sh b/scripts/update-github.sh
new file mode 100755
index 0000000..a991523
--- /dev/null
+++ b/scripts/update-github.sh
@@ -0,0 +1,9 @@
+#!/bin/sh
+set -e
+cd ~/github
+ORIG=~/ids/docs/v2.2/pci.ids
+if ! cmp -s $ORIG pci.ids ; then
+	cp $ORIG pci.ids
+	git commit -a -m 'New snapshot generated'
+	git push
+fi
-- 
2.39.5