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

Send repairman shreds to the repair socket (bp #6671) #6673

Merged
merged 3 commits into from
Nov 2, 2019

Conversation

mergify[bot]
Copy link
Contributor

@mergify mergify bot commented Nov 1, 2019

This is an automated backport of pull request #6671 done by Mergify.io

@mergify mergify bot added the automerge Merge this Pull Request automatically once CI passes label Nov 1, 2019
@solana-grimes
Copy link
Contributor

😱 New commits were pushed while the automerge label was present.

@solana-grimes solana-grimes removed the automerge Merge this Pull Request automatically once CI passes label Nov 1, 2019
@mergify mergify bot added the automerge Merge this Pull Request automatically once CI passes label Nov 1, 2019
@solana-grimes solana-grimes merged commit c86bf60 into v0.20 Nov 2, 2019
@codecov
Copy link

codecov bot commented Nov 2, 2019

Codecov Report

Merging #6673 into v0.20 will increase coverage by 10.6%.
The diff coverage is 81.8%.

@@           Coverage Diff            @@
##           v0.20   #6673      +/-   ##
========================================
+ Coverage   67.9%   78.6%   +10.6%     
========================================
  Files        218     211       -7     
  Lines      46894   40562    -6332     
========================================
+ Hits       31874   31899      +25     
+ Misses     15020    8663    -6357

@mergify mergify bot deleted the mergify/bp/v0.20/pr-6671 branch November 2, 2019 00:21
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.

2 participants