Johannes Sixt [off-list ref] writes:
Am 11.02.26 um 22:05 schrieb Junio C Hamano:
quoted
Patrick Steinhardt [off-list ref] writes:
quoted
On Thu, Feb 05, 2026 at 12:55:04PM +0100, Patrick Steinhardt wrote:
The fix has been merged upstream. I've created [1] to verify that the CI
now succeeds.
Hannes, I see that in your tree
https://github.com/j6t/gitk/commit/ddae547e3775638c238c11f30120f1e7e763fba8
has Patrick's fix. Is it a good time for me to pull from you, or do
you want/need to finish any housekeeping tasks like tagging before I
do?
This will hopefully help us unblock one of in-flight topics.
Please feel free to pull this commit (it's today's master).
I was pondering whether I want to include more topics in the next pull
request, but I didn't find the time to make up my mind. So, let's take
the fast route for now.
-- Hannes
Thanks!