From e8b45c285a6642b506e0de1b443a81da024ec125 Mon Sep 17 00:00:00 2001
From: Damien Regad <dregad@mantisbt.org>
Date: Tue, 19 Sep 2017 12:52:50 +0200
Subject: [PATCH] Redirect git checkout output to /dev/null

This avoids cluttering the log file - when redirecting STDOUT, git
checkout still displays information about the previous and new HEAD.
---
 docbook-manual-repo.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docbook-manual-repo.py b/docbook-manual-repo.py
index 5ecba07..3884bb6 100755
--- a/docbook-manual-repo.py
+++ b/docbook-manual-repo.py
@@ -66,7 +66,7 @@ def git_current_branch():
 
 
 def git_checkout(branch):
-    os.system('git checkout -f %s' % branch)
+    os.system('git checkout -f %s >/dev/null' % branch)
 
 
 def main():