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.

Sign up for GitHub

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

Jump to bottom

Cleanup From Deepsource #9961

Merged
merged 7 commits into from
Dec 1, 2021
Merged

Cleanup From Deepsource #9961

merged 7 commits into from
Dec 1, 2021

Conversation

nisdas
Copy link
Member

@nisdas nisdas commented Dec 1, 2021

What type of PR is this?

Cleanup

What does this PR do? Why is it needed?

  • Fixes some of deepsource's complaints.

Which issues(s) does this PR fix?

N.A

Other notes for review

@nisdas nisdas added the Ready For Review A pull request ready for code review label Dec 1, 2021
@nisdas nisdas requested a review from a team as a code owner December 1, 2021 06:36
@prylabs-bulldozer prylabs-bulldozer bot merged commit 236a5c4 into develop Dec 1, 2021
@delete-merged-branch delete-merged-branch bot deleted the deepSourceCleanup branch December 1, 2021 18:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@rkapka rkapka rkapka approved these changes

@kasey kasey Awaiting requested review from kasey kasey is a code owner automatically assigned from prysmaticlabs/core-team

@jmozah jmozah Awaiting requested review from jmozah jmozah is a code owner automatically assigned from prysmaticlabs/core-team

@james-prysm james-prysm Awaiting requested review from james-prysm james-prysm is a code owner automatically assigned from prysmaticlabs/core-team

Assignees
No one assigned
Labels
Ready For Review A pull request ready for code review
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@nisdas @rkapka