+ if (-d "./feeds/$name/.git" ) {
+ system("GIT_DIR=./feeds/$name/.git git pull") == 0 or return 1;
+ } else {
+ system("rm -rf \"./feeds/$name\"");
+ system("git-clone --depth 1 $src ./feeds/$name") == 0 or return 1;
+ }
+ return update_index($name, $src);