Skip to content

Add meeting notes for July 9th, 2026#449

Open
mizmay wants to merge 3 commits into
mainfrom
add-board-meeting-notes
Open

Add meeting notes for July 9th, 2026#449
mizmay wants to merge 3 commits into
mainfrom
add-board-meeting-notes

Conversation

@mizmay

@mizmay mizmay commented Jul 10, 2026

Copy link
Copy Markdown
Contributor

Converted from notes by @JMRestis — please review carefully for errors or emissions :)

Comment thread notes/_posts/2026-07-09-notes.md Outdated
Comment thread notes/_posts/2026-07-09-notes.md Outdated
ethanespie
ethanespie previously approved these changes Jul 10, 2026

@ethanespie ethanespie left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Made a couple comments, otherwise LGTM.

maneaba
maneaba previously approved these changes Jul 10, 2026
@mizmay mizmay dismissed stale reviews from maneaba and ethanespie via eccdea1 July 10, 2026 17:24
@njhenry

njhenry commented Jul 10, 2026

Copy link
Copy Markdown
Contributor

Side comment—Github PRs are really nice tool for the board to discuss and approve meeting minutes!

@mizmay

mizmay commented Jul 10, 2026

Copy link
Copy Markdown
Contributor Author

Definitely!

Handy syntax trick: highlight something you think should be reworded with:

```suggestion
say it like this!
```

and it gets converted to a diff I can review and apply.

GitHub invalidated the approvals from @ethanespie and @maneaba when I applied Ethan's changes, but that's no big deal, happy to leave it open a bit longer regardless and merge by next week, or sooner.

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.

4 participants