Re: markup-commands rest-by-number and rest (issue 6850073)

[thomasmorley65]

On 2012/12/02 15:41:01, dak wrote:
> mailto:address@hidden 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/