[hibernate-dev] save the planet one non character stroke at a time

Today for pull requests, we do push to a branch named after the JIRA issue eg 'git push manu HSEARCH-123' I propose that for issues related to the project (99.9% of the time), we instead use the numeric part of the issue as a branch name eg 'git push manu 123' As Git repos are naturally scoped to the issues, that should not be a problem and it will help type less and help git-complete auto completion. Anyone against?