[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?
Thanks,
Harm
- GUB with local git-repo?, Thomas Morley, 2019/06/06
- Re: GUB with local git-repo?, Phil Holmes, 2019/06/06
- Re: GUB with local git-repo?,
Thomas Morley <=
- Re: GUB with local git-repo?, Phil Holmes, 2019/06/07
- Re: GUB with local git-repo?, David Kastrup, 2019/06/07
- Re: GUB with local git-repo?, Thomas Morley, 2019/06/08
- Re: GUB with local git-repo?, Phil Holmes, 2019/06/08
- Re: GUB with local git-repo?, Federico Bruni, 2019/06/09
- Re: GUB with local git-repo?, David Kastrup, 2019/06/09
- Re: GUB with local git-repo?, Thomas Morley, 2019/06/11
- Re: GUB with local git-repo?, David Kastrup, 2019/06/11
- Re: GUB with local git-repo?, Thomas Morley, 2019/06/11
- Re: GUB with local git-repo?, Thomas Morley, 2019/06/11