From 080b7b98bd78ec6dca8a5aca4edfb267c140baef Mon Sep 17 00:00:00 2001
From: Jose Diaz-Gonzalez <email@josediazgonzalez.com>
Date: Sat, 30 Jul 2016 16:43:01 -0400
Subject: [PATCH] Fix header for Git Garbage Collection

[ci skip]
---
 docs/advanced-usage/repository-management.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/advanced-usage/repository-management.md b/docs/advanced-usage/repository-management.md
index 936eceb34..45714956b 100644
--- a/docs/advanced-usage/repository-management.md
+++ b/docs/advanced-usage/repository-management.md
@@ -9,7 +9,7 @@ repo:purge-cache <app>                   # Deletes the contents of the build cac
 
 The repository plugin is meant to allow users to perform management commands against a repository.
 
-# Git Garbage Collection
+## Git Garbage Collection
 
 This will run a git gc --agressive against the applications repo. This is performed on the Dokku host, and not within an application container.