Re: [Texmacs-dev] Issue tracking on GitHub.

[TeXmacs]

Hi Max,

I personally only look at bug reports at Savannah.
If there is a volunteer to collect problems that
have been reported elsewhere and enter them
in the Savannah bug tracker, then that would be great.

Best wishes, --Joris


On Thu, Mar 18, 2021 at 08:40:51PM +0100, Massimiliano Gubinelli wrote:
> Dear all,
>  I just noticed that people post issues here:
> 
> https://github.com/texmacs/devel/issues
> 
> which is not the appropriate place to report problems about TeXmacs. I think 
> we should we more clear that issuer can be reported only via savannah or via 
> *one* of the issues page in github. I think the natural place is this one: 
> https://github.com/texmacs/texmacs
> 
> but there I see that issues are disabled. Maybe we need to decide what to do. 
> There were several issues which got unnoticed...
> 
> Best
> Max
> 
> 
> _______________________________________________
> Texmacs-dev mailing list
> Texmacs-dev@gnu.org
> https://lists.gnu.org/mailman/listinfo/texmacs-dev