Allow docbook repo script to prune remote branches.

mantisbt · Nov 18, 2008 · 39e1efa · 39e1efa
1 parent 8e2b958
commit 39e1efa
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docbook-manual-repo.py b/docbook-manual-repo.py
@@ -47,6 +47,7 @@ def main():
 	# Update repo from default remote
 	os.chdir(repo)
 	os.system('git fetch')
+	os.system('git remote prune origin')
 
 	# List refs from remote branches and tags
 	branches = os.popen('git branch -r').read().split()