Groups keyboard shortcuts have been updated
Dismiss
See shortcuts

"Enabling global exec_groups?"

291 views
Skip to first unread message

Lukács T. Berki

unread,
Mar 30, 2023, 6:57:30 AM3/30/23
to Susan Steinman, John Cater, bazel-dev
Hey Susan and John,

Do I understand correctly that "Enabling global exec_groups" will not happen?

Context: I'm doing some house cleaning in our design doc repository and this has been in review since more than half a year now.

--
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

Susan Steinman

unread,
Mar 30, 2023, 11:07:32 AM3/30/23
to Lukács T. Berki, John Cater, bazel-dev
Yes, we ended up deprioritizing it because it was much harder than expected and wasn't a convergence blocker after all.

Lukács T. Berki

unread,
Mar 31, 2023, 4:44:12 AM3/31/23
to Susan Steinman, John Cater, bazel-dev
Reply all
Reply to author
Forward
0 new messages