Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

assorted copy edits to migration instructions #45048

Closed
wants to merge 2 commits into from
Closed

Conversation

elharo
Copy link

@elharo elharo commented Feb 6, 2024

What changes were proposed in this pull request?

Various grammar and formatting fixes, most commonly subject verb agreement, run-on sentences, and preposition choice

Why are the changes needed?

Easier to read

Does this PR introduce any user-facing change?

Yes, documentation is improved.

How was this patch tested?

mvn site:site

Was this patch authored or co-authored using generative AI tooling?

No

@github-actions github-actions bot added the DOCS label Feb 6, 2024
@elharo elharo marked this pull request as ready for review February 7, 2024 13:13
Copy link

We're closing this PR because it hasn't been updated in a while. This isn't a judgement on the merit of the PR in any way. It's just a way of keeping the PR queue manageable.
If you'd like to revive this PR, please reopen it and ask a committer to remove the Stale tag!

@github-actions github-actions bot added the Stale label May 18, 2024
@elharo
Copy link
Author

elharo commented May 18, 2024

Instead iof having a bot autoclose PRs, perhaops one should review them?

@github-actions github-actions bot closed this May 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant