标签云

微信群

扫码加入我们

WeChat QR Code


Heh, fair enough. Long term worth is high enough to at least try.

2018年10月22日12分14秒

Possible duplicate of How do I rename a local Git branch?

2018年10月22日12分14秒

When I attempt git push --delete, I get the following error: deletion of the current branch prohibited

2018年10月22日12分14秒

You are using github or something similar, you need to make the default branch something else: matthew-brett.github.com/pydagogue/gh_delete_master.html or just leave master there and ignore it.

2018年10月22日12分14秒

Yeah, we have a gitorious instance. Let me see if that is an option.

2018年10月22日12分14秒

It looks like gitorious' commit hooks forbid the deletion of the master branch -- for no good reason that I can see :/

2018年10月22日12分14秒

bah! Well, then perhaps I will just have to ignore the master branch or simply use the name "master" and know that it is the release branch. I wonder if there is a way to at least tell gitorious to make the release branch a default if we went that route. I know we are eventually moving to an enterprise license for github, but not there yet.

2018年10月22日12分14秒

I can tell by these steps I will run into the same error as I mentioned above.

2018年10月22日12分14秒

KyleHayes That's a configuration issue of the server. Though it is this way by default, the process to alter that should either be apparent to the user or easily discoverable on Stackoverflow

2018年10月22日12分14秒

I got the same error as the one I posted in Adam's comment when I got to the git push origin :master command.

2018年10月22日12分14秒