On 09/09/2014 12:11 PM, Gabor Szabo wrote:
Err, before doing that I need to make sure the GitHub repo can be used
to update the website.
But I don't think this should stop anyone from improving Padre in the
GitHub repository.
Will you do that? I'm not volunteering for this one. I guess the place
to add a webhook is
https://github.com/PadreIDE/template.padre.perlide.org/settings/hooks/
and then there needs to be a server answering
https://developer.github.com/webhooks/
I'd say it is also very important to make sure that Padre and its
modules can be released from the GitHub repository,
and that those releases already contain the new repo in their META files.
That can be fixed on the way. I guess it can be scripted.
_______________________________________________
Padre-dev mailing list
[email protected]
http://mail.perlide.org/mailman/listinfo/padre-dev
