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

Remove unneeded Rc uses in fetch_labels #1098

Merged
merged 1 commit into from
Feb 18, 2023
Merged

Remove unneeded Rc uses in fetch_labels #1098

merged 1 commit into from
Feb 18, 2023

Conversation

panarch
Copy link
Member

@panarch panarch commented Feb 18, 2023

No description provided.

@panarch panarch self-assigned this Feb 18, 2023
@coveralls
Copy link

Pull Request Test Coverage Report for Build 4210222732

  • 21 of 21 (100.0%) changed or added relevant lines in 1 file are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage increased (+0.04%) to 98.841%
Totals Coverage Status
Change from base Build 4170400114: 0.04%
Covered Lines: 39498
Relevant Lines: 39961
💛 - Coveralls

ever0de
ever0de approved these changes Feb 18, 2023
View reviewed changes
Copy link
Member

@ever0de ever0de left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@panarch panarch merged commit a1bee0e into main Feb 18, 2023
@panarch panarch deleted the remove-unneeded-rc-uses-in-fetch_labels branch February 18, 2023 08:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ever0de ever0de ever0de approved these changes

@devgony devgony Awaiting requested review from devgony

Assignees

@panarch panarch

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@panarch @coveralls @ever0de