|
||||||||
|
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.
Adrien Lecharpentier You are correct, I am the maintainer of the plugin and I did not use a pull request to submit the proposed change, since a pull request wouldn't get the further analysis needed for the change any more than my e-mail request for a review did.
This change needs more evaluation / automated tests before it is ready to be included in the plugin. I don't want to make a change which changes to yet a different incorrect behavior.
If you're willing to experiment with an unreleased version of the plugin which includes that change, I'm happy to build one. I am most concerned that the time value returned from the REST call may be in the wrong time zone, or may be the wrong date value (offset by time zone hours).