diff options
author | James Moger <james.moger@gitblit.com> | 2014-05-05 13:37:46 -0400 |
---|---|---|
committer | James Moger <james.moger@gitblit.com> | 2014-05-05 13:37:46 -0400 |
commit | 021c70877c889528c0629cac11cb5932f1126eb8 (patch) | |
tree | 3525cffd5191dc7bc043634d72b8e48627c5a74a /src | |
parent | c57b583ef60442f86085285bddc946c18ac1cc18 (diff) | |
download | gitblit-021c70877c889528c0629cac11cb5932f1126eb8.tar.gz gitblit-021c70877c889528c0629cac11cb5932f1126eb8.zip |
Prune deleted branches on fetch
Diffstat (limited to 'src')
-rw-r--r-- | 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 fcfe5006..02c4168a 100644 --- a/src/main/java/pt.py +++ b/src/main/java/pt.py @@ -54,9 +54,9 @@ def fetch(args): # 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 @@ def propose(args): 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 |