Hi, Any conclusion regarding the hosting - yes/no? It's up to you.
Thanks, Michal On Sun, Jan 5, 2014 at 2:26 PM, Michal Turek <[email protected]>wrote: > Hi Ulli, > > Thank you for the commit access. > > The main difference is that Task Scanner parses all files itself and the > new plugin reads a XML report generated by external Python tool, so it > can't be integrated. > > I started it just to study the plugins development, but the product is > pretty usable at the end :-) You can check its wiki page (e.g. screenshots) > to have an idea what it does. > > https://wiki.jenkins-ci.org/display/JENKINS/TODOs+Plugin > > Regards, > Michal > > > > On Sun, Jan 5, 2014 at 11:36 AM, Ulli Hafner <[email protected]>wrote: > >> >> Am 26.12.2013 um 15:24 schrieb Michal Turek <[email protected]>: >> >> Hi there, >> >> I have created a new plugin for http://todos.sourceforge.net/ tool. It >> searches comments containing specific strings like TODO and FIXME similarly >> to Task Scanner Plugin. I would like to host the plugin on >> https://github.com/jenkinsci. You can clone the sources from >> https://github.com/mixalturek/todos-plugin, my GitHub ID is mixalturek. >> >> >> What is the difference to the task-scanner plug-in? Can’t it be >> integrated into the task scanner plug-in? >> >> >> I would also like to ask you for commit access to SLOCCount Plugin ( >> https://github.com/jenkinsci/sloccount-plugin). I plan to fix some of >> its bugs and maybe maintain it for a while. >> >> >> I added you as a committer. >> >> >> Thanks, >> Michal >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Jenkins Developers" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected]. >> For more options, visit https://groups.google.com/groups/opt_out. >> >> >> > -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
