Skip to content

Nitpicks - #95

Merged
opcode81 merged 5 commits into
oraios:developfrom
mdbenito:fix/nitpicks
Feb 24, 2026
Merged

opcode81 merged 5 commits into
oraios:developfrom
mdbenito:fix/nitpicks

Conversation

@mdbenito

@mdbenito mdbenito commented Feb 23, 2026 •

Copy link
Copy Markdown
Contributor

A collection of minor typos and a broken link. Sorry for the silly PR, my OCD wouldn't let these go once I had cloned the repo 🙈.

I hope that the only potentially contentious point is my deletion of a couple of IMO spurious commas in one sentence. After triple checking with our friendly AIs I came to the conclusion that the profusion of punctuation was likely to be unintentional.

@opcode81

Copy link
Copy Markdown
Collaborator

Many thanks! I liked the commas, to be fair, but it's fine either way.

@opcode81
opcode81 merged commit 65e5859 into oraios:develop Feb 24, 2026
3 checks passed
@mdbenito
mdbenito deleted the fix/nitpicks branch April 23, 2026 17:35
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.

2 participants