[hibernate-dev] To require or not to require a JIRA for a small-typo kind of commit

This question came up again on github; seems Gunnar, Davide and myself would agree on preferring a little more flexibility on the no-orm projects than ORM's guidelines: - https://github.com/hibernate/hibernate-search/pull/1064#issuecomment-2113... This flexibility would be a perk for regular contributors only so I don't feel a need to move our conclusions to a formal document, yet I'm bringing it up here so you can all see it, and voice concerns / approval now :) Thanks, Sanne