On 06/12/2013 11:29 AM, Jonathan Zimmerman wrote:
I've submitted a pair of pull requests to fix issues in a couple of plug-ins but neither pull request appears on the Pending Pull Requests page. Is there anything special that needs to be done to get a plugin's pull requests to appear on the page?
Whatever process generates this seems to be pretty buggy. I would advise using GitHub directly: https://github.com/organizations/jenkinsci/dashboard/pulls -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" 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/groups/opt_out.
