Find all repo that number of repo star is over 3000 and write url into out.txt