Zulip Chat Archive

Stream: triage

Topic: PR !4#25846: chore: deprioritize some projection instances


Random Issue Bot (Aug 13 2025 at 14:07):

Today I chose PR #25846 for discussion!

chore: deprioritize some projection instances
Created by @Matthew Robert Ballard (@mattrobball) on 2025-06-13
Labels: merge-conflict

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

Matthew Ballard (Aug 13 2025 at 14:09):

I have a more programmatic approach sitting on my machine that I may get back to someday...


Last updated: Dec 20 2025 at 21:32 UTC