Skip to content

Conversation

mergify[bot]
Copy link
Contributor

@mergify mergify bot commented Apr 16, 2024

Please note that I didn't use the Deprecated keyword because doing this would result in many warnings for us and our users.

Follow-up to #2709


PR checklist

  • Tests written/updated
  • Changelog entry added in .changelog (we use unclog to manage our changelog)
  • Updated relevant documentation (docs/ or spec/) and code comments
  • Title follows the Conventional Commits spec

This is an automatic backport of pull request #2822 done by [Mergify](https://mergify.com).

Please note that I didn't use the `Deprecated` keyword because doing
this would result in many warnings for us and our users.

Follow-up to #2709

---

#### PR checklist

- [ ] ~~Tests written/updated~~
- [ ] ~~Changelog entry added in `.changelog` (we use
[unclog](https://github.com/informalsystems/unclog) to manage our
changelog)~~
- [x] Updated relevant documentation (`docs/` or `spec/`) and code
comments
- [x] Title follows the [Conventional
Commits](https://www.conventionalcommits.org/en/v1.0.0/) spec

---------

Co-authored-by: Andy Nogueira <me@andynogueira.dev>
Co-authored-by: Daniel <daniel.cason@informal.systems>
(cherry picked from commit 627b6e7)
@mergify mergify bot requested a review from a team as a code owner April 16, 2024 19:21
@mergify mergify bot requested a review from a team April 16, 2024 19:21
Copy link
Contributor

@andynog andynog left a comment

Choose a reason for hiding this comment

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

lgtm

@andynog andynog assigned andynog and unassigned andynog Apr 16, 2024
@melekes melekes merged commit 6d3cd40 into v1.x Apr 17, 2024
@melekes melekes deleted the mergify/bp/v1.x/pr-2822 branch April 17, 2024 05:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants