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 /GIT-VERSION-GEN | |
| parent | 0748494e866041034605aaf177f29a61bdc25951 (diff) | |
| download | git-c0ecb07048ce2123589a2f077d296e8cf29a9570.tar.gz | |
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 'GIT-VERSION-GEN')
0 files changed, 0 insertions, 0 deletions