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

[PD-dev] [pure-data:bugs] #1319 Escaped spaces not written to patch file

2019-10-06 Thread Ticket #1319: Escaped spaces not written to patch file
--- ** [bugs:#1319] Escaped spaces not written to patch file** **Status:** open **v0.49:** v0.49 **Created:** Sun Oct 06, 2019 06:30 PM UTC by Anonymous **Last Updated:** Sun Oct 06, 2019 06:30 PM UTC **Owner:** nobody When I am entering my escaped spaces it looks like this:

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.puredata.info to github? > > i wonder whether