diff options
| author | Paolo Bonzini <bonzini@gnu.org> | 2008-04-28 11:32:12 -0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-05-04 17:41:39 -0700 |
| commit | a83619d692deeb2565335144078465acb2dd1457 (patch) | |
| tree | 568c8aa7b0092ee996e1a4612e89ff252d61ac60 /gitk-git | |
| parent | c697ad143ba1ff58b29e7efe149d244d4b7010a5 (diff) | |
| download | git-a83619d692deeb2565335144078465acb2dd1457.tar.gz git-a83619d692deeb2565335144078465acb2dd1457.tar.xz | |
add special "matching refs" refspec
This patch provides a way to specify "push matching heads" using a
special refspec ":". This is useful because it allows "push = +:"
as a way to specify that matching refs will be pushed but, in addition,
forced updates will be allowed, which was not possible before.
Signed-off-by: Paolo Bonzini <bonzini@gnu.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'gitk-git')
0 files changed, 0 insertions, 0 deletions