[jbosstools-dev] jiralint

Nick Boldt nboldt at redhat.com
Mon Sep 12 09:13:40 EDT 2016


Jobs updated.

Glad we FINALLY got this moved over to a standard official
/jbosstools/ repo. I'll have to go on PTO more often - good things
happen when I'm not here. :D

On Wed, Sep 7, 2016 at 3:35 PM, Alexey Kazakov <alkazako at redhat.com> wrote:
> 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 at lists.jboss.org
>>> https://lists.jboss.org/mailman/listinfo/jbosstools-dev
>> _______________________________________________
>> jbosstools-dev mailing list
>> jbosstools-dev at lists.jboss.org
>> https://lists.jboss.org/mailman/listinfo/jbosstools-dev
>
> _______________________________________________
> jbosstools-dev mailing list
> jbosstools-dev at lists.jboss.org
> https://lists.jboss.org/mailman/listinfo/jbosstools-dev



-- 
Nick Boldt :: JBoss by Red Hat
Productization Lead :: JBoss Tools & Dev Studio
http://nick.divbyzero.com


More information about the jbosstools-dev mailing list