[SCM] ci-tooling packaging branch, master, updated. 8fe5785fd2e67dd6583216e9c0f1d930731cb587

[Harald Sitter]

Gitweb-URL: http://git.debian.org/?p=pkg-kde/ci-tooling.git;a=commitdiff;h=88639ad

The following commit has been merged in the master branch:
commit 88639ada1d55c35847089e0f9e761a24104010fa
Author: Harald Sitter <sitter at kde.org>
Date:   Tue May 12 10:07:04 2015 +0200

    run git gc and set remote pruning in projects.rb
    
    this is to prevent disappeared remote branches from still being used
    locally resulting in inaccurate projects lists being generated
---
 lib/projects.rb | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/lib/projects.rb b/lib/projects.rb
index d4717d0..dd216ef 100644
--- a/lib/projects.rb
+++ b/lib/projects.rb
@@ -71,6 +71,8 @@ class Project
 
         i = 0
         while (i += 1) < 5
+          system('git gc')
+          system('git config remote.origin.prune true')
           break if system('git pull')
         end
         fail GitTransactionError, 'Failed to pull' if i >= 5

-- 
ci-tooling packaging