[PATCH] dim: accept pull requests with capitalized Git

[Jani Nikula]

On Fri, 17 Nov 2017, Rodrigo Vivi <rodrigo.vivi at intel.com> wrote:
> On Fri, Nov 17, 2017 at 08:21:08AM +0000, Jani Nikula wrote:
>> Take into account git commit e66d7c37a5f1 ("request-pull: capitalise
>> "Git" to make it a proper noun").
>
> Thanks a lot for taking care of this.
>
>> 
>> Reported-by: Rodrigo Vivi <rodrigo.vivi at intel.com>
>> Reported-by: Zhenyu Wang <zhenyuw at linux.intel.com>
>> Cc: Rodrigo Vivi <rodrigo.vivi at intel.com>
>> Signed-off-by: Jani Nikula <jani.nikula at intel.com>
>
> Reviewed-by: Rodrigo Vivi <rodrigo.vivi at intel.com>

Thanks, and pushed.

BR,
Jani.

>
>
>> ---
>>  dim | 2 +-
>>  1 file changed, 1 insertion(+), 1 deletion(-)
>> 
>> diff --git a/dim b/dim
>> index 527989aff9ad..ee958be231ab 100755
>> --- a/dim
>> +++ b/dim
>> @@ -921,7 +921,7 @@ function dim_apply_pull
>>  
>>  	cat > $file
>>  
>> -	pull_branch=$(sed -e '0,/git repository at:$/d' $file | head -n 2 | tail -n 1)
>> +	pull_branch=$(sed -e '0,/[gG]it repository at:$/d' $file | head -n 2 | tail -n 1)
>>  
>>  	echo $pull_branch
>>  
>> -- 
>> 2.11.0
>> 
> _______________________________________________
> dim-tools mailing list
> dim-tools at lists.freedesktop.org
> https://lists.freedesktop.org/mailman/listinfo/dim-tools

-- 
Jani Nikula, Intel Open Source Technology Center