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

Update the tagline for this extension to clarify that it rehydrates kernel sessions. #71

Merged
merged 1 commit into from
Jan 31, 2023

Conversation

Zsailer
Copy link
Member

@Zsailer Zsailer commented Jan 31, 2023

No description provided.

@Zsailer Zsailer added the documentation Improvements or additions to documentation label Jan 31, 2023
@Zsailer Zsailer requested a review from kevin-bates January 31, 2023 17:27
@codecov
Copy link

codecov bot commented Jan 31, 2023

Codecov Report

Base: 60.43% // Head: 60.43% // No change to project coverage 👍

Coverage data is based on head (c68fd20) compared to base (8d04960).
Patch has no changes to coverable lines.

Additional details and impacted files
@@           Coverage Diff           @@
##             main      #71   +/-   ##
=======================================
  Coverage   60.43%   60.43%           
=======================================
  Files           7        7           
  Lines         369      369           
  Branches       79       79           
=======================================
  Hits          223      223           
  Misses        128      128           
  Partials       18       18           

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

☔ View full report at Codecov.
📢 Do you have feedback about the report comment? Let us know in this issue.

Copy link
Contributor

@blink1073 blink1073 left a comment

Choose a reason for hiding this comment

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

Thanks!

@blink1073 blink1073 merged commit 618b43d into main Jan 31, 2023
@blink1073 blink1073 deleted the Zsailer-patch-1 branch January 31, 2023 17:34
@kevin-bates
Copy link
Member

Thanks @Zsailer. I was about to swing by and submit this, but good things come to those that wait! 😄

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants