Hi Alexey et.al, Today I had to push 2 urgent changes for Ilya to jiralint and with Nick on PTO noone could push. For now I've added alexeykazakov as collaborator too so he can do it to - but I think it makes sense you get your own clone of https://github.com/maxandersen/jiralint. I suggest you just git clone this repo to jbosstools/jiralint and start using it in the jiralint jobs instead of my repo. Thanks, /max http://about.me/maxandersen _______________________________________________ jbosstools-dev mailing list jbosstools-dev(a)lists.jboss.org https://lists.jboss.org/mailman/listinfo/jbosstools-dev

I cloned the repo - https://github.com/jbosstools/jiralint Nick, please go ahead and switch the jobs to that repo. On 09/07/2016 06:20 AM, Alexey Kazakov wrote: > Hi, > > Yes, it makes sense. I will clone the repo to jbosstools and let Nick > switch the jiralint jobs to that repo instead when Nick is back from PTO ;) > > Thanks. > > > On 09/07/2016 06:03 AM, Max Rydahl Andersen wrote: >> Hi Alexey et.al, >> >> Today I had to push 2 urgent changes for Ilya to jiralint and with Nick >> on PTO noone could push. >> >> For now I've added alexeykazakov as collaborator too so he can do it to >> - but >> I think it makes sense you get your own clone of >> https://github.com/maxandersen/jiralint. >> >> I suggest you just git clone this repo to jbosstools/jiralint and start >> using it in the jiralint jobs >> instead of my repo. >> >> Thanks, >> /max >> http://about.me/maxandersen >> _______________________________________________ >> jbosstools-dev mailing list >> jbosstools-dev(a)lists.jboss.org >> https://lists.jboss.org/mailman/listinfo/jbosstools-dev > _______________________________________________ > jbosstools-dev mailing list > jbosstools-dev(a)lists.jboss.org > https://lists.jboss.org/mailman/listinfo/jbosstools-dev _______________________________________________ jbosstools-dev mailing list jbosstools-dev(a)lists.jboss.org https://lists.jboss.org/mailman/listinfo/jbosstools-dev