Zulip Chat Archive

Stream: triage

Topic: PR !4#18679: DO NOT MERGE! test: latest import script


Random Issue Bot (Apr 10 2025 at 14:14):

Today I chose PR #18679 for discussion!

DO NOT MERGE! test: latest import script
Created by @damiano (@adomani) on 2024-11-05
Labels: WIP, merge-conflict, t-linter

Is this PR still relevant? Any recent updates? Anyone making progress?

Mario Carneiro (Apr 10 2025 at 14:49):

@Damiano Testa can this be closed?

Damiano Testa (Apr 10 2025 at 15:04):

Yes, thanks, I just closed it!


Last updated: May 02 2025 at 03:31 UTC