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? _______________________________________________ hibernate-dev mailing list hibernate-dev@lists.jboss.org https://lists.jboss.org/mailman/listinfo/hibernate-dev
