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

[David Kastrup]

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.

> 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?

> 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.

-- 
David Kastrup