Added GitHub updater script

diff --git a/scripts/update-github.sh b/scripts/update-github.sh
new file mode 100755 (executable)
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