Re: [PD-dev] switch bugs.puredata.info to github?

2019-10-08 Thread IOhannes m zmölnig
On 10/6/19 8:43 PM, IOhannes m zmölnig wrote: > i wonder whether we should switch the official bug-reporting page of Pd > to the issue-tracker at github. done. gfadsmr IOhannes signature.asc Description: OpenPGP digital signature ___ Pd-dev mailing

Re: [PD-dev] switch bugs.puredata.info to github?

2019-10-06 Thread Lucas Cordiviola
I went ahead editing the old https://puredata.info/dev/BugTracker Mensaje telepatico asistido por maquinas. On 10/6/2019 5:36 PM, Federico Camara Halac wrote: > +1 Perhaps it would also be useful to include a tiny issue template, > or some simple guidelines to include the minimum needed to

Re: [PD-dev] switch bugs.puredata.info to github?

2019-10-06 Thread Lucas Cordiviola
I agree with the redirection to Github. If for whatever reason we need to have both (github and sourceforge) we can redirect to some new page in puredata.info with a brief explanation: ~~~ Please include which OS and which Pd version you are using in the bug report. You

Re: [PD-dev] switch bugs.puredata.info to github?

2019-10-06 Thread Antoine Rousseau
yes, it makes sense. Le dim. 6 oct. 2019 à 22:36, Federico Camara Halac a écrit : > +1 Perhaps it would also be useful to include a tiny issue template, or > some simple guidelines to include the minimum needed to understand the > issue; and, a link to the sourceforge if people don't want to

Re: [PD-dev] switch bugs.puredata.info to github?

2019-10-06 Thread Federico Camara Halac
+1 Perhaps it would also be useful to include a tiny issue template, or some simple guidelines to include the minimum needed to understand the issue; and, a link to the sourceforge if people don't want to join github On Sun, Oct 6, 2019 at 10:06 PM Alexandre Torres Porres wrote: > Great, I like

Re: [PD-dev] switch bugs.puredata.info to github?

2019-10-06 Thread Alexandre Torres Porres
Great, I like the idea too Em dom, 6 de out de 2019 às 12:40, Max escreveu: > On 06.10.19 21:07, Christof Ressi wrote: > >> so I wondered whether we should direct the people to the github tracker > >> instead. > > > > My opinion: yes! > > +1 > > sourceforge and subversion smell funny > > > >

Re: [PD-dev] switch bugs.puredata.info to github?

2019-10-06 Thread Max
On 06.10.19 21:07, Christof Ressi wrote: so I wondered whether we should direct the people to the github tracker instead. My opinion: yes! +1 sourceforge and subversion smell funny ___ Pd-dev mailing list Pd-dev@lists.iem.at

Re: [PD-dev] switch bugs.puredata.info to github?

2019-10-06 Thread Christof Ressi
> so I wondered whether we should direct the people to the github tracker > instead. My opinion: yes! > Gesendet: Sonntag, 06. Oktober 2019 um 20:43 Uhr > Von: "IOhannes m zmölnig" > An: "PureData developer's list" > Betreff: [PD-dev] switch bugs.puredat