[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: GUB with local git-repo?

From: Thomas Morley
Subject: Re: GUB with local git-repo?
Date: Fri, 7 Jun 2019 11:47:28 +0200

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?


reply via email to

[Prev in Thread] Current Thread [Next in Thread]