diff options
| author |  René Scharfe <l.s.r@web.de> | 2018-10-03 15:06:49 +0200 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2018-10-03 21:12:01 -0700 |
| commit | 6e8fc70fcefd4c362142c7d437488d3fbfdc22a8 (patch) | |
| tree | 9fe5224b6776d887deba87834ca9749c58265fdf /Documentation/git-checkout.txt | |
| parent | Git 2.19 (diff) | |
| download | tgif-6e8fc70fcefd4c362142c7d437488d3fbfdc22a8.tar.xz | |
sequencer: use return value of oidset_insert()
oidset_insert() returns 1 if the object ID is already in the set and
doesn't add it again, or 0 if it hadn't been present. Make use of that
fact instead of checking with an extra oidset_contains() call.
Signed-off-by: Rene Scharfe <l.s.r@web.de>
Acked-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-checkout.txt')
0 files changed, 0 insertions, 0 deletions