+1. Often we mix many issue numbers in a pull request - as far as I see we're all fine in picking one of them as most significant, let me know if somebody strongly prefers 1:1 pull requests and issues.. that's more time consuming as it means we can't start working on depending issues until the first one is approved.
The jboss.org JIRA has an automated process to automatically mark issues as fixed when the relevant pull request is merged in master. For this to work when issuing the pull request you still have to add a link to the pull request on a field in JIRA, so you still have to switch contexts, I'm not sure yet if we're winning some time. A definite improvement would be a "search provider" plugin for firefox, so that 1) I can paste issue numbers in the search box without opening JIRA first 2) As the Skype plugin does with telephone numbers converting them in "call this number links, have a plugin scanning the HTML of any service and email to convert them in JIRA links. This would be reasonable only if we keep the project part of the issue name too, but I guess we'll still have that in many other places (apart of the branch name). Something to try creating when all issues are solved :) Cheers, Sanne _______________________________________________ hibernate-dev mailing list hibernate-dev@lists.jboss.org https://lists.jboss.org/mailman/listinfo/hibernate-dev
