From 43be7b9ae2204a8ff5b761dbcb7b61b360ad148c Mon Sep 17 00:00:00 2001 From: David Pursehouse Date: Sat, 6 Jun 2020 15:04:24 +0900 Subject: [PATCH] Fix header of "Pitfalls" subsection of Private Changes documentation Change-Id: I3dacba7ffd910122cf1dbd123276c6ef29fe5f14 (cherry picked from commit 2ba3b5a55d37315189104d4237c007bae01f908d) --- Documentation/intro-user.txt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/Documentation/intro-user.txt b/Documentation/intro-user.txt index 03f388006a..6e586086ba 100644 --- a/Documentation/intro-user.txt +++ b/Documentation/intro-user.txt @@ -605,8 +605,7 @@ In that case, care should be taken to prevent the CI system from exposing secret details. [[private-changes-pitfalls]] -Pitfalls -=== +=== Pitfalls If private changes are used, be aware of the following pitfalls: