Bashuslovakia

摘要： 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的简写，它 阅读全文