From cac9975924691fe6e608789218b06be56bb8c658 Mon Sep 17 00:00:00 2001
From: Richard Kuhnt <r15ch13+git@gmail.com>
Date: Wed, 21 Mar 2018 14:53:45 +0100
Subject: [PATCH] Disable git pager when running git log (#2144)

---
 lib/git.ps1 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/git.ps1 b/lib/git.ps1
index dfdd9c67a8..7a416ba522 100644
--- a/lib/git.ps1
+++ b/lib/git.ps1
@@ -24,5 +24,5 @@ function git_fetch {
 }
 
 function git_log {
-    git_proxy_cmd log $args
+    git_proxy_cmd --no-pager log $args
 }