[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Tree-sitter introduction documentation

From: Philip Kaludercic
Subject: Re: Tree-sitter introduction documentation
Date: Fri, 30 Dec 2022 12:45:44 +0000

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 :)

reply via email to

[Prev in Thread] Current Thread [Next in Thread]