[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Pushing to my repo.or.cz repository
|
From: |
Patrick McCarty |
|
Subject: |
Re: Pushing to my repo.or.cz repository |
|
Date: |
Tue, 17 Jun 2008 20:44:36 -0700 |
|
User-agent: |
Mutt/1.5.18 (2008-05-17) |
On Tue, Jun 17, 2008 at 09:04:55PM -0600, Carl D. Sorensen wrote:
>
> Is there any way to fix the server repository so it has a proper HEAD?
Hi Carl,
Do you mean to create a head named master? If so, then create and
checkout a new branch named master:
$ git checkout -b master
Then do a git-push, but instead of using the 'local:remote' in the
command, just use 'master'.
Or did an error occur when trying to push to the server repository?
-Patrick