From 2b4b7305d376d598892b4dbb9e699109f9dda1b9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nguy=E1=BB=85n=20Th=C3=A1i=20Ng=E1=BB=8Dc=20Duy?=
 <pclouds@gmail.com>
Date: Sat, 27 Oct 2018 08:22:50 +0200
Subject: [PATCH] config.txt: move completion.* to a separate file
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Nguyễn Thái Ngọc Duy <pclouds@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
---
 Documentation/config.txt            | 8 +-------
 Documentation/config/completion.txt | 7 +++++++
 2 files changed, 8 insertions(+), 7 deletions(-)
 create mode 100644 Documentation/config/completion.txt

diff --git a/Documentation/config.txt b/Documentation/config.txt
index 2c21a5f3668d72..83f5ce90569288 100644
--- a/Documentation/config.txt
+++ b/Documentation/config.txt
@@ -317,13 +317,7 @@ include::config/commit.txt[]
 
 include::config/credential.txt[]
 
-completion.commands::
-	This is only used by git-completion.bash to add or remove
-	commands from the list of completed commands. Normally only
-	porcelain commands and a few select others are completed. You
-	can add more commands, separated by space, in this
-	variable. Prefixing the command with '-' will remove it from
-	the existing list.
+include::config/completion.txt[]
 
 include::diff-config.txt[]
 
diff --git a/Documentation/config/completion.txt b/Documentation/config/completion.txt
new file mode 100644
index 00000000000000..4d99bf33c904a3
--- /dev/null
+++ b/Documentation/config/completion.txt
@@ -0,0 +1,7 @@
+completion.commands::
+	This is only used by git-completion.bash to add or remove
+	commands from the list of completed commands. Normally only
+	porcelain commands and a few select others are completed. You
+	can add more commands, separated by space, in this
+	variable. Prefixing the command with '-' will remove it from
+	the existing list.