Add notes + summaries for July 2023

[acutmore]

Like #268 but with updated summaries.

[ctcpip]

@littledan is this the Samina version referred to in #268 (comment) ?

[ljharb]

I only reviewed the last commit; in general, please condense multiple spaces to 1, and we generally only use acronyms to refer to people in the notes.

[ctcpip]

condense multiple spaces to 1

might be able to take care of this via the lexer. I'll have a go

[ljharb]

@ctcpip note that it shouldn't be condensed when it's indentation (start of line), or table spacing (like in the notes table)

[ctcpip]

@ctcpip note that it shouldn't be condensed when it's indentation (start of line), or table spacing (like in the notes table)

no worries, the existing test files should cover this. and the indentation at start of line shouldn't be where there is plain text (what the lexer detects as a paragraph), but can you provide an example of indentation that is expected? e.g. indenting a list wouldn't apply here

[ljharb]

sounds like it'd be fine, just was making sure to call it out

[ctcpip]

sounds like it'd be fine, just was making sure to call it out

sure, just want to make sure we don't need to add anything to the test sample

[ctcpip]

might be able to take care of this via the lexer. I'll have a go

💥 #282 💥

[ctcpip]

https://github.com/acutmore/notes/pull/1/files

fixed 1408 extra whitespace character(s) in meetings/2023-07/july-13.md
fixed 1790 extra whitespace character(s) in meetings/2023-07/july-12.md
fixed 74 extra whitespace character(s) in meetings/2023-07/july-11.md

[ljharb]

unfortunately since the summaries and notes are being landed together, i can't easily review just the formatted summaries :-/

[ctcpip]

I quickly skimmed the summaries/conclusions for problems but not substance... anyway, the whitespace should all be addressed and I fixed the non-TLA name references that appeared in conclusions/summaries

[acutmore]

the whitespace should all be addressed and I fixed the non-TLA name references that appeared in conclusions/summaries

Thank you so much @ctcpip !