diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2012-02-26 23:05:45 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2012-02-26 23:05:45 -0800 |
| commit | d365a432271d2f6384cda9c37fb2fe463bdc2850 (patch) | |
| tree | 56fa405031b5951038d2d0189f4ac84b3801b0cb /git_remote_helpers/util.py | |
| parent | Merge branch 'jc/doc-merge-options' (diff) | |
| parent | push: add '--prune' option (diff) | |
| download | tgif-d365a432271d2f6384cda9c37fb2fe463bdc2850.tar.xz | |
Merge branch 'fc/push-prune'
* fc/push-prune:
push: add '--prune' option
remote: refactor code into alloc_delete_ref()
remote: reorganize check_pattern_match()
remote: use a local variable in match_push_refs()
Conflicts:
builtin/push.c
Diffstat (limited to 'git_remote_helpers/util.py')
0 files changed, 0 insertions, 0 deletions