[PATCH] dim: accept pull requests with capitalized Git

[Rodrigo Vivi]

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>


> ---
>  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
>