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: remove legacy interface function, RandomizedParams, which is no longer used (backport #3149) #3157

Merged
merged 1 commit into from
Feb 15, 2023

Conversation

mergify[bot]
Copy link
Contributor

@mergify mergify bot commented Feb 15, 2023

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

@colin-axner colin-axner enabled auto-merge (squash) February 15, 2023 16:52
@colin-axner colin-axner merged commit d7abb7f into release/v7.0.x Feb 15, 2023
@colin-axner colin-axner deleted the mergify/bp/release/v7.0.x/pr-3149 branch February 15, 2023 17:27
@faddat faddat mentioned this pull request Jun 23, 2023
9 tasks
# 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.

2 participants