|
||||||||
|
This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators. For more information on JIRA, see: http://www.atlassian.com/software/jira |
||||||||
You received this message because you are subscribed to the Google Groups "Jenkins Issues" 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/d/optout.
We've worked around the problem by no longer using the github plugin for polling/queueing builds, so if this doesn't affect anyone else, it's no longer critical.
Might I suggest though that a better implementation of the polling feature would be to do github polling per repo instead of per job? We have hundreds of jobs using the same repo, and at the least, generating many fewer github-polling.log files would cause the unclosed filehandles to build up much more slowly.