Skip to content
This repository was archived by the owner on Jan 22, 2025. It is now read-only.

Clean up opt conf verifier and vote state tracker (bp #13081)#13123

Merged
mergify[bot] merged 1 commit intov1.3from
mergify/bp/v1.3/pr-13081
Oct 24, 2020
Merged

Clean up opt conf verifier and vote state tracker (bp #13081)#13123
mergify[bot] merged 1 commit intov1.3from
mergify/bp/v1.3/pr-13081

Conversation

@mergify
Copy link
Copy Markdown
Contributor

@mergify mergify Bot commented Oct 24, 2020

This is an automated backport of pull request #13081 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.io/

* Clean up opt conf verifier and vote state tracker

* Update test to follow new message and some knob

* Rename

(cherry picked from commit 0264147)
@mergify mergify Bot added the automerge Merge this Pull Request automatically once CI passes label Oct 24, 2020
@codecov
Copy link
Copy Markdown

codecov Bot commented Oct 24, 2020

Codecov Report

Merging #13123 into v1.3 will decrease coverage by 0.0%.
The diff coverage is 91.7%.

@@           Coverage Diff            @@
##            v1.3   #13123     +/-   ##
========================================
- Coverage   82.1%    82.0%   -0.1%     
========================================
  Files        363      363             
  Lines      84695    84700      +5     
========================================
- Hits       69551    69532     -19     
- Misses     15144    15168     +24     

@mergify mergify Bot merged commit e553c8b into v1.3 Oct 24, 2020
@mergify mergify Bot deleted the mergify/bp/v1.3/pr-13081 branch October 24, 2020 02:39
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

automerge Merge this Pull Request automatically once CI passes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant