Skip to content

Conversation

@Omar-Elrefaei
Copy link
Contributor

No description provided.

Copy link
Member

@LilithHafner LilithHafner left a comment

Choose a reason for hiding this comment

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

Any particular reason you marked this as a draft? Looks good to merge to me!

@LilithHafner LilithHafner added the docs This change adds or pertains to documentation label Apr 23, 2025
@Omar-Elrefaei
Copy link
Contributor Author

I was gonna collect any docs typos I find the next few days into one PR so that I'm not spamming tiny commits.
But yeah no problem if you want to keep them separate.

@Omar-Elrefaei Omar-Elrefaei marked this pull request as ready for review April 23, 2025 14:15
@LilithHafner LilithHafner merged commit ec70a2c into JuliaLang:master Apr 23, 2025
5 of 8 checks passed
@LilithHafner
Copy link
Member

Thanks for trying to be considerate in that way. In my opinion, many small PRs are typically easier than a few big ones. Clicking merge is quite easy, it's reviewing diffs and discussing design that are more difficult.

And welcome and thank you for your contribution!

LebedevRI pushed a commit to LebedevRI/julia that referenced this pull request May 2, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

docs This change adds or pertains to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants