Re: Tree-sitter introduction documentation

[Philip Kaludercic]

tomas@tuxteam.de writes:

> On Fri, Dec 30, 2022 at 11:59:39AM +0000, Philip Kaludercic wrote:
>> <tomas@tuxteam.de> writes:
>> 
>> > On Fri, Dec 30, 2022 at 11:25:25AM +0000, Philip Kaludercic wrote:
>> >
>> >> If acceptable, it looks good.  I could imagine that it should be OK if
>> >> we point to GitHub, since we are just using it as a Git host.  Here are
>> >> a few suggestions
>> >
>> > I won't object, as long as I can excise it with my own
>> > hands. I don't like to see how That Company silently
>> > slithers into more and more basic infrastructure.
>> 
>> What do you mean by "exercise"?  Install the rules manually?
>
> I said "excise". More traumatic :-)

Whoops, that makes more sense.

>> Perhaps it would be better to download tarballs instead of cloning a
>> repository of the depth 1?  They are easier to configure and usually
>> faster to download.  The result should be the same anyway.
>
> Yes, perhaps. Personally, I try as hard as I can to keep a safe
> distance between github and myself. Probably off-topic here going
> into too much detail why.

That is totally relatable.

> Cheers & thanks nevertheless for your hard work :)

I did nothing here, just wrote a 10-line diff and nagged a lot :)