[PATCH] dim: accept pull requests with capitalized Git

[Jani Nikula]

Take into account git commit e66d7c37a5f1 ("request-pull: capitalise
"Git" to make it a proper noun").

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