To add a new feature or fix a bug using a github pull request, should a JIRA ticket be created first? The documentation (http://docs.geoserver.org/latest/en/developer/policies/patches.html#github-pull-requests) does not mention creating a ticket for this case.
Thanks, Michael ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ Geoserver-devel mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/geoserver-devel
