Zulip Chat Archive

Stream: triage

Topic: PR #4841: feat(tactic/rewrite_search): Automatically sear...


view this post on Zulip Random Issue Bot (Nov 16 2020 at 14:19):

Today I chose PR 4841 for discussion!

feat(tactic/rewrite_search): Automatically searching for chains of rewrites
Created by @Kevin Lacker (@lacker) on 2020-10-30
Labels: awaiting-review, meta

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

view this post on Zulip Rob Lewis (Nov 16 2020 at 14:29):

This is still on my radar to review but the last few weeks have been very complicated!

view this post on Zulip Rob Lewis (Nov 16 2020 at 14:29):

I'll get there.


Last updated: May 09 2021 at 16:20 UTC