Skip to content

chore: cleanup doctor sources #5625

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

Merged
merged 5 commits into from
Feb 15, 2022
Merged

chore: cleanup doctor sources #5625

merged 5 commits into from
Feb 15, 2022

Conversation

rigor789
Copy link
Member

@rigor789 rigor789 commented Feb 8, 2022

No description provided.

@cla-bot cla-bot bot added the cla: yes label Feb 8, 2022
@rigor789 rigor789 force-pushed the chore/doctor-cleanup branch from 9fa8f4f to 7c3e562 Compare February 15, 2022 14:10
@rigor789 rigor789 force-pushed the chore/doctor-cleanup branch from 7c3e562 to a90081f Compare February 15, 2022 14:10
@rigor789 rigor789 marked this pull request as ready for review February 15, 2022 14:28
@rigor789 rigor789 merged commit e44ca94 into master Feb 15, 2022
@rigor789 rigor789 deleted the chore/doctor-cleanup branch February 15, 2022 14:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant