removed old updategithub.sh script
this used to mirror svn to git; no longer needed