maintainer-notes: document "git remote prune origin"

Thanks: maximilian attems <maks@debian.org>
Signed-off-by: Michael Prokop <mika@debian.org>

1 files changed, 7 insertions, 0 deletions

diff --git a/docs/maintainer-notes.html b/docs/maintainer-notes.html
index 9858201..354dece 100644
--- a/docs/maintainer-notes.html
+++ b/docs/maintainer-notes.html
@@ -180,6 +180,13 @@ on.
 </pre>
 </li>
 
+<li>If a branch is removed from the server it will stay locally. You can get of
+any stale remote branches locally by executing:
+<pre>
+<b>% git remote prune origin</b>
+</pre>
+</li>
+
 </ol>
 
 <h3><a name="test">3.3 Test specific branch</a></h3>