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

[Emmanuel Bernard]

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?