|
||||||||||||||
|
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 jenkinsci-issues+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
This bug still occurs in 1.14-5. David Tanner has explained that the bug is caused by the github-api plugin, but closing this bug is misleading, since the github pull request plugin is still unusable for all github enterprise users. Re-opening this bug will get it more visibility, which will hopefully get it fixed sooner.