bug#61223: closed (29.0.60; treesit--install-language-grammar-build-recipe refers github)

[GNU bug Tracking System]

Your message dated Thu, 2 Feb 2023 18:40:21 -0800
with message-id <5D8CFA02-954D-4402-BB1E-84493F0B7299@gmail.com>
and subject line Re: bug#61223: 29.0.60; 
treesit--install-language-grammar-build-recipe refers github
has caused the debbugs.gnu.org bug report #61223,
regarding 29.0.60; treesit--install-language-grammar-build-recipe refers github
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
61223: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=61223
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> 29.0.60; treesit--install-language-grammar-build-recipe refers github
>
>
>
>
> Date: 
>
> Wed, 1 Feb 2023 22:17:56 -0800
>
>
>
>
> X-Debbugs-CC: eliz@gnu.org, dgutov@yandex.ru
> --text follows this line--
> I noticed that treesit-install-language-grammar now automatically builds
> the repository url from github:
>
> (let ((repo-default (format "https://github.com/tree-sitter/tree-sitter-%s"; 
> lang)))
>          (read-string
>           "Enter the URL of the Git repository of the language grammar: "
>           (and (treesit--check-repo-url repo-default) repo-default)))
>
>
> AFAICT GNU don’t want to promote/refer to github, that’s why I didn’t
> include “official” grammar repositories in
> treesit-language-source-alist. Was there a discussion that I missed?
>
> This is a nice feature, but I’d hate having to remove it later, after
> users have noticed it and started using/depending on it, due to some GNU
> policy.
>
> Yuan
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#61223: 29.0.60; treesit--install-language-grammar-build-recipe refers github
>
>
>
>
> Date: 
>
> Thu, 2 Feb 2023 18:40:21 -0800
>
>
>
>
> > Hello Yuan, 
> > 
> > I think this is the result of installing the proposed patch from bug#61051, 
> > which Eli approved and Dmitry installed.  I had my doubts on the github 
> > reference but didn’t ask back then. 
> > 
> > Best, 
> > 
> > 
> > RY
>
> > On Feb 2, 2023, at 1:03 AM, Eli Zaretskii <eliz@gnu.org> wrote:
> > 
> > I don't see a problem here: it's just the default we offer when a
> > grammar is available from the Tree-sitter site.  It's a far cry from
> > having a database full of GitHub URLs that we'd need to maintain and
> > keep up to date.
>
> That’s very good news :-) Closing.
>
> Yuan
>
> --- End Message ---