git push origin --delete develop remote: GitLab: The default branch of a project cannot be deleted. To git.jxqianbao.com:server/finance.git ! [remote rejected] develop (pre-receive hook declined) error: failed to push some refs to 'git@git.demo.com:server/finance.git'
git clone https://github.com/ThinkBIM/comic.git Cloning into 'comic'... fatal: unable to access 'https://github.com/ThinkBIM/comic.git/': Encountered end of file git config --global --unset http.proxy