It looks pretty good to me, except that we don't have a repo for the main distro.
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 On 1 September 2014 22:10, Kaare Rasmussen <ka...@jasonic.dk> wrote: > On 08/24/2014 08:20 PM, Kaare Rasmussen wrote: > >> On 08/22/2014 09:39 AM, kevin dawson wrote: >> >>> I would suggest that we need to process all the additional/support repos >>> before we do the Padre conversion, that way we can check for errors, before >>> ... >>> >> >> I've created all projects, except Padre proper, using the autors file >> that Kevin sent me. Now is the time for Padre developers to check if there >> are fundamental errors. >> >> As you might suggest, it's an automated approach. This means I can rewind >> and redo if necessary. >> _______________________________________________ >> Padre-dev mailing list >> Padre-dev@perlide.org >> http://mail.perlide.org/mailman/listinfo/padre-dev >> > > Yesterday I reran the process, so please check the repos at > https://github.com/PadreIDE for any problems. > > I guess that when everything is clear here, the next step is to make > https://github.com/PadreIDE the official Padre repository. > > _______________________________________________ > 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
