On 2012/12/02 15:41:01, dak wrote:
mailto:[email protected] writes:
> On 2012/11/27 20:03:06, benko.pal wrote: > >> > Did you had a look on the compiled output of the new reg-tests? > >> no. could you push to a dev/ branch? > > Sorry. I'm still a newbie in devel tasks.
If you have a branch where you checked in your changes, you can push
the
current HEAD with
git push origin HEAD:refs/heads/dev/thomas
or similar. Don't ever use a fourth argument without explicit source and target separated via colon: git's idea of putting defaults in
there
is rather absurd and can cause major headaches.
To delete a branch again, do
git push origin :refs/heads/dev/thomas
namely nothing before the colon. That's all.
Thanks for the hints.
> of the mistakes were typos in git, which I couldn't correct. Two
times
> I corrupted my build-directory, so I had to start from scratch. Or
I
> produced a [PATCH 1/2] and I have no clue why, or why not the next > time I tried. etc., etc
Huh. The CG gives no useful information here?
The CG is quite nice to give the information you need, _if you understand them (the CG is never translated) and if you don't make a mistake while following them. But there is no help-chapter if things are going wrong.
> But in case this will change, do you have a hint where to look to > learn not alone about dev/branch but to deal with git? Something
like
> git for dummies would be suitable.
man git has a number of references at the bottom, both other manual pages (under SEE ALSO) as well as further links.
Thanks again. Both, Pál and Marc pointed me, privately, to a publication explaining git. Be sure, I will study it. https://codereview.appspot.com/6850073/ _______________________________________________ lilypond-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-devel
