[hibernate-dev] GitHub PR management

Hi, Both Andrea and I have been going through the current list of PR, and I think it is a good idea to start labeling them. Some issues are trivial and can be integrated as soon as we can commit on the master. I think we should add the following labels: - Needs CLA - Needs Jira - Needs Test Case - Envers - 4.2 - 4.3 - 5.0 - 5.1 This way we can easily navigate through them. Vlad