Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rename state_fetcher.go #8646

Merged
merged 5 commits into from
Mar 24, 2021
Merged

Rename state_fetcher.go #8646

merged 5 commits into from
Mar 24, 2021

Conversation

rkapka
Copy link
Contributor

@rkapka rkapka commented Mar 23, 2021

What type of PR is this?

Other

What does this PR do? Why is it needed?

Simplifies the name of state_fetcher.go, as suggested by @terencechain in #8639 (comment)

Which issues(s) does this PR fix?

N/A

Other notes for review

N/A

@rkapka rkapka requested a review from a team as a code owner March 23, 2021 09:56
@codecov
Copy link

codecov bot commented Mar 23, 2021

Codecov Report

Merging #8646 (791ffce) into develop (eca67ce) will decrease coverage by 0.13%.
The diff coverage is 68.32%.

@@             Coverage Diff             @@
##           develop    #8646      +/-   ##
===========================================
- Coverage    61.21%   61.08%   -0.14%     
===========================================
  Files          493      496       +3     
  Lines        34296    34468     +172     
===========================================
+ Hits         20996    21056      +60     
- Misses       10169    10281     +112     
  Partials      3131     3131              

@prylabs-bulldozer prylabs-bulldozer bot merged commit 2fe50c5 into develop Mar 24, 2021
@delete-merged-branch delete-merged-branch bot deleted the rename-state-fetcher branch March 24, 2021 09:08
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