Skip to content
New issue

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

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

Already on GitHub? # to your account

[BP: release/v4 <- #102] Spelling, grammar, and formatting fixes. #109

Merged
merged 1 commit into from
Sep 28, 2023

Conversation

mergify[bot]
Copy link

@mergify mergify bot commented Sep 28, 2023

This is an automatic backport of pull request #102 done by Mergify.


Mergify commands and options

More conditions and actions can be found in the documentation.

You can also trigger Mergify actions by commenting on this pull request:

  • @Mergifyio refresh will re-evaluate the rules
  • @Mergifyio rebase will rebase this PR on its base branch
  • @Mergifyio update will merge the base branch into this PR
  • @Mergifyio backport <destination> will backport this PR on <destination> branch

Additionally, on Mergify dashboard you can:

  • look at your merge queues
  • generate the Mergify configuration with the config editor.

Finally, you can contact us on https://mergify.com

Co-authored-by: dzmitry-lahoda <757125+dzmitry-lahoda@users.noreply.github.com>
(cherry picked from commit 68f757c)
@jtieri jtieri merged commit 84333ac into release/v4 Sep 28, 2023
@jtieri jtieri deleted the mergify/bp/release/v4/pr-102 branch September 28, 2023 17:47
# for free to join this conversation on GitHub. Already have an account? # to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants