Status of #12823 and the associated proposal

[Lukács T. Berki]

Hey Ed and Chi,

What is the status of the "Remote Output Service" proposal?

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

[Lukács T. Berki]

Given the lack of answers over the weekend and on Friday, I sent out a pull request to mark it as "dropped" (https://github.com/bazelbuild/proposals/pull/311). Please do chime if you think that's the wrong thing to do! (or approve the pull request if it is)

[ツ Sven Tiffe]

Please do not consider weekends in this way. Nobody is expected to react on a Friday email on a Saturday or Sunday.

I think moving the discussion to the PR is fine, but I am concerned about the messaging.

--
You received this message because you are subscribed to the Google Groups "bazel-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email to bazel-dev+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/bazel-dev/CAOu%2B0LVxzPZ3%3DNSOPU0W4G7YTKZJ3uODfPjE3PC_a%2BOFaoGmmg%40mail.gmail.com.

[Lukács T. Berki]

Apologies for the wording prone to be misunderstood!

I wanted to send this e-mail one workday after the previous one, it's just that there happened to be a weekend in between.