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 scop
On Tue, 12 Jul 2011 10:30:21 +0200, Emmanuel Bernard
wrote:
> Today for pull requests, we do push to a branch named after the JIRA
> issue
> eg 'git push manu HSEARCH-123'
If on a feature branch I just do
git push my-fork HEAD
this way I don't have to type a branch name at all (well, obv
On 12 juil. 2011, at 10:39, Hardy Ferentschik wrote:
>>
>> 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'
>
> See, what you are loosing here is the ability to cut&paste the branch
On 12 juil. 2011, at 10:49, Emmanuel Bernard wrote:
>>> 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.
>>
>> How does this help git-complete? One less tab? I am not convinced. I am not
>> convi
+1.
Often we mix many issue numbers in a pull request - as far as I see
we're all fine in picking one of them as most significant, let me know
if somebody strongly prefers 1:1 pull requests and issues.. that's
more time consuming as it means we can't start working on depending
issues until the firs
