Thanks for this. The new repo is neat, especially the Travis hook (which I've never seen before on GitHub).
I've already started to make some small commits to get Padre building on the current Strawberry, and once that's done, to add some small improvements to Makefile support (which I'm doing an annoyingly large amount of work on these days) and maybe some preliminary R support. Adam On 7 September 2014 08:36, Kaare Rasmussen <ka...@jasonic.dk> wrote: > Hi Adam > >> It looks pretty good to me, except that we don't have a repo for the main >> distro. >> > > True; someone told me to wait a bit to see how it goes with the plugins. > But I think better to get it done now. I may loose momentum later. > > So I've renamed https://github.com/PadreIDE/Padre to > https://github.com/PadreIDE/Padre-total and created a new proper Padre > repo in its place. If someone had cloned the original repo there it may > cause trouble, but I hope it will work out alright. In any case, if you > read this, please update any github references. All repos should be in > place now. > > > >> But I'd be happy to say lets go ahead with plugins and everything else >> being officially in GitHub. >> >> Best to keep things moving forwards at this point, we can fix bits and >> pieces later. >> >> Adam >> >> Gabor told that http://padre.perlide.org/ is updated on the commit > hook. I guess that will not work anymore. It could be replaced with a > webhook: https://developer.github.com/webhooks/ bit that means the server > there has to listen for that. > > The links there has to be updated as well to point to Github. Regarding > issue tracking, let's see. It would be fun to transfer the important ones, > but dunno if I can spend the time. > > > _______________________________________________ > Padre-dev mailing list > Padre-dev@perlide.org > http://mail.perlide.org/mailman/listinfo/padre-dev >
_______________________________________________ Padre-dev mailing list Padre-dev@perlide.org http://mail.perlide.org/mailman/listinfo/padre-dev
