Okay, merged. Further improvement is both possible and welcome, but I didn't see anything in the discussion thread that would preclude merging wha...
-
8f5b5c20 · Merge branch 'infra-policy' into 'main'
- ... and 1 more commit. Compare d5eedfbb...8f5b5c20
(I wish there were a way to just embed Zulip threads right here into GitLab, instead of having a foreign link)
left project
ots / meta
See the Zulip conversation about this MR. Comments also welcome here, of course.
This is just a reminder to myself that the section "Strolls" in CONTRIBUTING.md
should get moved over to this hypothetical OTS Developer Manual onc...
The DEPLOYMENT.md as currently written leaves a lot of flexibility. Flexibility is hard to code for. For instance, there's declarations about a t...