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
