Skip to content

Added option to unpin libraries from the sidebar #951

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
Merged
merged 2 commits into from
Jun 9, 2020
Merged

Added option to unpin libraries from the sidebar #951

merged 2 commits into from
Jun 9, 2020

Conversation

yaira2
Copy link
Member

@yaira2 yaira2 commented Jun 9, 2020

No description provided.

tsvietOK
tsvietOK reviewed Jun 9, 2020
View reviewed changes
@ghost ghost added the needs - code review label Jun 9, 2020
@yaira2 yaira2 requested a review from lukeblevins June 9, 2020 02:31
lukeblevins
lukeblevins approved these changes Jun 9, 2020
View reviewed changes
Copy link
Contributor

@lukeblevins lukeblevins left a comment

Choose a reason for hiding this comment

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

I think users will like this change. LGTM

@yaira2 yaira2 merged commit 89821d3 into master Jun 9, 2020
@yaira2 yaira2 added ready to merge Pull requests that are approved and ready to merge and removed needs - code review labels Jun 9, 2020
@yaira2 yaira2 mentioned this pull request Jun 9, 2020
Closed
@yaira2 yaira2 deleted the UnpinFromSidebar branch June 12, 2020 04:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tsvietOK tsvietOK tsvietOK left review comments

@lukeblevins lukeblevins lukeblevins approved these changes

Assignees
No one assigned
Labels
ready to merge Pull requests that are approved and ready to merge
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@yaira2 @lukeblevins @tsvietOK