From: The PCI ID Mail Robot <pci-admins@ucw.cz>
Date: Sat, 19 Sep 2015 13:51:29 +0000 (+0200)
Subject: Added GitHub updater script
X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=9ae6ecc39ee5e10eee93d515052199b329b8518b;p=pciids.git

Added GitHub updater script
---

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