RE: Pushing to my repo.or.cz repository

[Carl D. Sorensen]

> -----Original Message-----
> From: Patrick McCarty [mailto:address@hidden
> Sent: Tuesday, June 17, 2008 7:28 PM
> To: Carl D. Sorensen
> Cc: lilypond-devel; Reinhold Kainhofer
> Subject: Re: Pushing to my repo.or.cz repository
>
> On Tue, Jun 17, 2008 at 5:58 PM, Carl D. Sorensen
> <address@hidden> wrote:
> > Well, thanks to Reinhold and Patrick I was able to get my
> > lilypond/csorensen repository working.  I was also able to
> rebase my
> > changes against lilypond/master, fix up the spacing
> problems I have,
> > and get the git-diff down to where it should be.
> >
> > I have tested the revised fret-diagrams code against
> 2.11.48 (but with
> > my local scm/ directory) and everything works.
> >
> > Now it's time to push it back to my fork at repo.or.cz and invite
> > Han-Wen to cherry-pick it.
> >
> > So that I don't mess things up, could you give me a recommended git
> > command to do this?
>
> Carl,
>
> As an alternative to setting up Git configuration files, as
> Reinhold has suggested, you can try this single-line command:
>
> git-push git+ssh://repo.or.cz/srv/git/lilypond/csorensen.git
> local:remote
>
> Replace 'local' with the local branch you want to push to the server.
> You can verify the name(s) of your local branch(es) with the
> command 'git-branch'
>
> Replace 'remote' with the remote branch you are pushing to.
> In this case, your remote branch is localtest.
>

Is there any way to fix the server repository so it has a proper HEAD?

Carl