From 590e80d7624cbd10ea6890decdb1dcbc1c1c9417 Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Mon, 05 May 2014 13:39:07 -0400
Subject: [PATCH] Merged #60 "Barnum: prune deleted branches"
---
src/main/java/pt.py | 6 +++---
1 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/main/java/pt.py b/src/main/java/pt.py
index fcfe500..02c4168 100644
--- a/src/main/java/pt.py
+++ b/src/main/java/pt.py
@@ -54,9 +54,9 @@
# fetch all current ticket patchsets
print("Fetching ticket patchsets from the '{}' repository".format(args.remote))
if args.quiet:
- __call(['git', 'fetch', args.remote, '--quiet'])
+ __call(['git', 'fetch', '-p', args.remote, '--quiet'])
else:
- __call(['git', 'fetch', args.remote])
+ __call(['git', 'fetch', '-p', args.remote])
else:
# fetch specific patchset
__resolve_patchset(args)
@@ -288,7 +288,7 @@
if fields[0] == 'remote' and fields[1].strip().startswith('--> #'):
# set the upstream branch configuration
args.id = int(fields[1].strip()[len('--> #'):])
- __call(['git', 'fetch', args.remote])
+ __call(['git', 'fetch', '-p', args.remote])
__call(['git', 'branch', '-u', '{}/ticket/{:d}'.format(args.remote, args.id)])
break
--
Gitblit v1.9.1