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

chore: bump cometbft (backport #2134) #2136

Merged
merged 1 commit into from
Jul 10, 2023

Conversation

mergify[bot]
Copy link
Contributor

@mergify mergify bot commented Jul 10, 2023

This is an automatic backport of pull request #2134 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

* chore: bump cometbft

* changelog

* Update CHANGELOG.md

(cherry picked from commit 21e6345)
@mergify mergify bot requested review from a team as code owners July 10, 2023 15:57
@mergify mergify bot mentioned this pull request Jul 10, 2023
@robert-zaremba robert-zaremba merged commit b3103fd into release/v5.1 Jul 10, 2023
@robert-zaremba robert-zaremba deleted the mergify/bp/release/v5.1/pr-2134 branch July 10, 2023 18:32
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant