Skip to content

Fix a few 0.20 release note typos. (backport #7853)#7855

Merged
mergify[bot] merged 1 commit into
stable/0.20from
mergify/bp/stable/0.20/pr-7853
Apr 1, 2022
Merged

Fix a few 0.20 release note typos. (backport #7853)#7855
mergify[bot] merged 1 commit into
stable/0.20from
mergify/bp/stable/0.20/pr-7853

Conversation

@mergify
Copy link
Copy Markdown
Contributor

@mergify mergify Bot commented Apr 1, 2022

This is an automatic backport of pull request #7853 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: Julien Gacon <jul@zurich.ibm.com>

Co-authored-by: Julien Gacon <jul@zurich.ibm.com>
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
(cherry picked from commit 0de4f7d)
@mtreinish mtreinish added automerge Changelog: None Do not include in the GitHub Release changelog. labels Apr 1, 2022
@mergify mergify Bot merged commit 6b692ef into stable/0.20 Apr 1, 2022
@mergify mergify Bot deleted the mergify/bp/stable/0.20/pr-7853 branch April 1, 2022 07:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Changelog: None Do not include in the GitHub Release changelog.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants