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

Christof Ressi christof.ressi at gmx.at
Sun Oct 6 21:07:03 CEST 2019


> 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" <zmoelnig at iem.at>
> An: "PureData developer's list" <pd-dev at lists.iem.at>
> Betreff: [PD-dev] switch bugs.puredata.info to github?
>
> i wonder whether we should switch the official bug-reporting page of Pd
> to the issue-tracker at github.
> 
> whenever you go to "Help->Report a bug", a browser will go and open the
> web-page http://bugs.puredata.info/
> This page currently redirects to the sourceforge bug-tracker:
>    https://sourceforge.net/p/pure-data/bugs/
> 
> however, practically all activity in Pd-development has moved from
> sourceforge to github, and a lot of people are using the github issues.
> 
> so I wondered whether we should direct the people to the github tracker
> instead.
> 
> afaict, there's a single drawback with github as compared to
> sourceforge: you must have a github account in order to be able to
> report issues. (on sourceforge, you can create tickets anonymously).
> 
> 
> the implementation is simple: i just need to set the redirect on the
> puredata.info webserver.
> 
> however I would like to have consensus first, that this is actually a
> good idea.
> 
> gmdasr
> IOhannes
> 
> _______________________________________________
> Pd-dev mailing list
> Pd-dev at lists.iem.at
> https://lists.puredata.info/listinfo/pd-dev
>





More information about the Pd-dev mailing list