Skip to content

Publish minutes of 2021-06-24 meeting#23

Merged
dotproto merged 1 commit intomainfrom
meeting-2021-06-24-wecg
Jun 29, 2021
Merged

Publish minutes of 2021-06-24 meeting#23
dotproto merged 1 commit intomainfrom
meeting-2021-06-24-wecg

Conversation

@Rob--W
Copy link
Member

@Rob--W Rob--W commented Jun 24, 2021

Generated from https://docs.google.com/document/d/1QkwhEMtMS67JBUkl_WVPZ4lRSKoWcQNlLJSf_GwSXg8/edit

Simeon exported the Gdoc to Markdown with Docs to Markdown, and then I manually edited the document by:

  • Replacing 4 consecutive spaces with 2 (to avoid code formatting in deeply nested bullet lists)
  • Inserting a space before the * when nested under a numbered list (otherwise the bullet list would be rendered at the same level as the numbered list)
  • Remove unnecessary whitespace and line breaks.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants