|
||||||||
|
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/groups/opt_out.
Hi Jan.
You can use either, but since GitHub allows us to more easily track the state of bugs and attach source code fixes, it is more efficient for us to process bug reports and issues via GitHub.
That said, if you feel more at home with JIRA, feel free to use it.
Only one request in that case: To cut down on us having to clean up duplicates, please only report a bug in EITHER GitHub OR Jira. Only when you wish to add a source code submission after you've already used JIRA should you switch from it to GitHub. In that case, just leave a link at JIRA and close the issue (or ask for it to be closed).![]()
Thanks!