By the way David, I saw your last commit did not trigger a tag - looks because 
you used LUCENE-XXX without a colon after it. Currently it keys on that. I can 
look at making it a little more forgiving.

- Mark

On Nov 26, 2012, at 4:51 PM, Mark Miller <[email protected]> wrote:

> I took a look at the local repo with a git client and it seemed to show local 
> changes in an HTMLStripCharFilter…odd…
> 
> Anyway, I discarded those changes and let the bot run again and it caught up 
> with the missed tags.
> 
> Not sure if it will happen again or not (this stuff is pretty isolated and 
> untouched) - please let me know if anyone notices the tags are not being sent 
> out.
> 
> - Mark
> 
> On Nov 26, 2012, at 4:32 PM, Mark Miller <[email protected]> wrote:
> 
>> Thanks for the note - it actually has not been firing lately - I just
>> took a look and for some reason it has having trouble doing an update
>> (I'm using jgit under the covers). It's claiming there is a conflict
>> when I am trying to check out a branch.
>> 
>> I'll solve this and get it kicking again.
>> 
>> It's currently cron'd to run every 2 minutes.
>> 
>> - Mark
>> 
>> On Mon, Nov 26, 2012 at 4:04 PM, David Smiley (@MITRE.org)
>> <[email protected]> wrote:
>>> Mark,
>>> Do I need to do anything for the bot to make its comment, aside from the
>>> commit?  I just made a commit to both branches.  How much delay is there /
>>> i.e. what's its schedule?
>>> ~ David
>>> 
>>> 
>>> 
>>> -----
>>> Author: http://www.packtpub.com/apache-solr-3-enterprise-search-server/book
>>> --
>>> View this message in context: 
>>> http://lucene.472066.n3.nabble.com/Trying-out-the-commit-bot-tagger-at-a-larger-scale-tp4021178p4022451.html
>>> Sent from the Lucene - Java Developer mailing list archive at Nabble.com.
>>> 
>>> ---------------------------------------------------------------------
>>> To unsubscribe, e-mail: [email protected]
>>> For additional commands, e-mail: [email protected]
>>> 
>> 
>> 
>> 
>> -- 
>> - Mark
> 


---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to