摘要:
php cli没有超时时间,可以设置curl请求时间 protected function downloadFile($url) { $baseName = basename($url); $baseName = explode('?', $baseName)[0]; if (!file_exist 阅读全文
摘要:
git删除远程分支 git push origin --delete [branch_name] 删除本地分支区别 git branch -d 会在删除前检查merge状态(其与上游分支或者与head)。 git branch -D 是git branch --delete --force的简写,它 阅读全文