Dear Giovanni, > On 30. Mar 2021, at 00:55, Giovanni Piredda <pired...@posteo.de> wrote: > > > On 29.03.21 13:50, Darcy Shen via Texmacs-dev wrote: >> >> At the very beginning, I think Github is popular. It would be good that we >> can receive feedback from Github. >> >> > > I also have the impression that the issue tracker on GitHub could collect > ideas from people that would not post them onto the Savannah website; perhaps > it is worth seeing if there is a way to keep the GitHub issue tracker active. > > It will take a bit for me to read the information about Anatoliy Kashkin. > Said this, I do not have clear ideas on whether working through free services > provided by companies---more than popular, ubiquitous---is in the balance > good (the general debate on this feels off-topic). > > Giovanni >
Ideally yes, but the problem is that we will risk to have duplicate issues all over the place and also that Joris is not looking at it, so for many things one would anyway open an issue on savannah and then keep in sync the two... Not really ideal. Also in the past there were not many people using it. People can discuss problem on the forum and on the mailing list and then we can direct them to savannah for bug reports. Many projects have their own bug reporting websites, I myself had to create account on multiple of them (e.g. to file bugs to Qt or to Redhat, etc...). So I do not see much problem there. Also I'm not sure we want to depend too much on github. It is practical but it has also downsides, for example it is not always visible in China and as a GNU project we are more reliably hosted on savannah, IMHO. Max > > _______________________________________________ > Texmacs-dev mailing list > Texmacs-dev@gnu.org > https://lists.gnu.org/mailman/listinfo/texmacs-dev _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
