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