From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 22 Jul 2025 14:27:17 GMT
Subject: Re: [PATCH v2 0/3] commit: convert pop_most_recent_commit() to prio_queue
Message-ID: <xmqqikjkuwqi.fsf@gitster.g>
In-Reply-To: <aH8vKQa7z313w1RG@szeder.dev>

SZEDER Gábor <szeder.dev@gmail.com> writes:

>   $ git log --topo-order --reverse --oneline -3 e436bc94f3
>   36554bf51a commit: convert pop_most_recent_commit() to prio_queue
>   304f06e0c0 commit: use prio_queue_replace() in pop_most_recent_commit(),MIME-Version: 1.0
>   e436bc94f3 prio-queue: add prio_queue_replace()

Funny.  Thanks for spotting.