fetch-distro: use git log --first-parent
authorLuca Boccassi <luca.boccassi@gmail.com>
Wed, 13 Nov 2024 17:03:35 +0000 (17:03 +0000)
committerLuca Boccassi <luca.boccassi@gmail.com>
Wed, 13 Nov 2024 17:03:35 +0000 (17:03 +0000)
commitd9822cd859f91394455c58bae81caed7bbb15bd0
tree6ba9fe134ad4190a6cfdda996940a14ee6a4d0a8
parent9466fe014f6083825ed819fe17bf98f72baa3af9
fetch-distro: use git log --first-parent

We now import the upstream tag in the debian repository, so
this explodes as it tries to walk all upstream commits. Use
--first-parent so that merges only get added via the merge
commit.
tools/fetch-distro.py