scripts/update-github.sh

   1 #!/bin/sh
   2 set -e
   3 cd ~/github
   4 ORIG=~/ids/docs/v2.2/pci.ids
   5 if ! cmp -s $ORIG pci.ids ; then
   6         cp $ORIG pci.ids
   7         git commit -a -m 'New snapshot generated'
   8         git push
   9 fi