Delete sync_with_github.sh