diff options
| author |  Horst H. von Brand <vonbrand@inf.utfsm.cl> | 2009-12-01 19:44:11 -0300 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2009-12-02 10:42:48 -0800 |
| commit | c0ecb07048ce2123589a2f077d296e8cf29a9570 (patch) | |
| tree | ec46d292ece6c4fa1a6d9f943eba2b51841f5d9d /t | |
| parent | Merge branch 'maint' (diff) | |
| download | tgif-c0ecb07048ce2123589a2f077d296e8cf29a9570.tar.xz | |
git-pull.sh: Fix call to git-merge for new command format
Now "git merge <msg> HEAD" is officially deprecated, we should
clean our own use as well.
Signed-off-by: Horst H. von Brand <vonbrand@inf.utfsm.cl>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 't')
0 files changed, 0 insertions, 0 deletions