Re: GUB with local git-repo?

[Phil Holmes]

To delete a branch see 
https://stackoverflow.com/questions/2003505/how-do-i-delete-a-git-branch-locally-and-remotely

As for the push syntax, I don't have my computer with my Git notes turned on 
right now, but I reckon

git push dev/issue4943 HEAD:staging

is mixing up your branch with the staging branch.  For me, the syntax is:

git push origin HEAD:yourbranchname

Possibly a good idea to wait until someone more expert in Git syntax pops 
up.

--
Phil Holmes


----- Original Message ----- 
From: "Thomas Morley" <address@hidden>
To: "Phil Holmes" <address@hidden>
Cc: "lilypond-devel" <address@hidden>
Sent: Friday, June 07, 2019 10:47 AM
Subject: Re: GUB with local git-repo?


Am Do., 6. Juni 2019 um 23:15 Uhr schrieb Phil Holmes <address@hidden>:
> ----- Original Message -----
> From: "Thomas Morley" <address@hidden>
> To: "lilypond-devel" <address@hidden>
> Sent: Thursday, June 06, 2019 9:27 PM
> Subject: GUB with local git-repo?
>
>
> > Hi,
> >
> > as far as I understand GUB downloads the git-repository. Then `make
> > lilypond´ would build from master, and `make
> > LILYPOND_BRANCH=stable/2.20 lilypond´ would build
> > lilypond-version-2.20.0.
> >
> > Is it possible to point GUB to a private branch of my local
> > git-repository?
> > If yes, how would the command been spelled?
> >
> > If it's not possible, one could make a public branch and build this
> > branch with GUB.
> > Or is there an alternative?
>
> I don't believe it's possible to build from a local branch.  Nothing to 
> stop
> you creating a new branch on Savannah and building form that, then 
> deleting
> it once the experiment is over.

Hi Phil,

let's see, if I understand correctly:

For a public branch, I'd checkout a local branch, say: dev/issue4943
Then make it public with
 git push origin dev/issue4943
Further changes added to this branch with
 git push dev/issue4943 HEAD:staging
Invoking GUB with
 make LILYPOND_BRANCH=dev/issue4943 lilypond

Though, I don't know how to delete said branch from the official repo,
after all work is done.


Is this what you mean or something different?


Thanks,
 Harm