]> granicus.if.org Git - git/commitdiff
Merge branch 'rs/get-tagged-oid' into next
authorJunio C Hamano <gitster@pobox.com>
Mon, 9 Sep 2019 19:58:36 +0000 (12:58 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 9 Sep 2019 19:58:36 +0000 (12:58 -0700)
Code cleanup.

* rs/get-tagged-oid:
  use get_tagged_oid()
  tag: factor out get_tagged_oid()

1  2 
packfile.c
ref-filter.c
revision.c

diff --cc packfile.c
Simple merge
diff --cc ref-filter.c
Simple merge
diff --cc revision.c
Simple merge