Re: gdb-python git repository

Thiago Jung Bauermann
2008-06-20T14:10:56Z

Zitat von Andreas Schwab <schwab@suse.de>:
>> That line was there because the latest git version at the time had a bug
>> which would leave the origin blank when cloning a "HEADless" repository.
>
> Would it be possible to add a HEAD to the repository?

I don't know.

>> It was fixed since then, so if you use a recent git then it is unnecessary.
>
> At least it would have to use the correct url.

It was correct for people who have commit access and want to help with
development, which is the main purpose of that repository.

Of course, people are welcome to just follow what's going on there, but it
was not the primary intent of the instructions (we are posting patches to
the mailing list for that).

--
[]'s
Thiago Jung Bauermann
Software Engineer
IBM Linux Technology Center