Re: GUB with local git-repo?

[Thomas Morley]

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