Hey Ed and Chi,
I am doing some house cleaning in the bazelbuild/proposals repository and this one has been under review for more than two years now, so it would be nice to come to a conclusion.
Ordinarily, I would just close it as "Dropped, obsolete", but it appears that the pull request
#12823 still sees some interest, so I don't think that's appropriate, at least without asking y'all.
-- Lukács T. Berki | Software Engineer | lbe...@google.com | Google Germany GmbH | Erika-Mann-Str. 33 | 80636 München | Germany | Geschäftsführer: Paul Manicle, Halimah DeLaine Prado | Registergericht und -nummer: Hamburg, HRB 86891